I'd like type aliases to be strongly typed, so you...

# language-proposals

[mg6maciej]

I'd like type aliases to be strongly typed, so you cannot pass differently typed value of the same type.

[elect]

that's an interesting idea

[okkero]

Then it's hardly an alias anymore, is it?

[mg6maciej]

As Jake Wharton noted in the channel it should be called newtype instead.