<@U0BLU7JTA>: and I think, judging from a comment ...

# language-proposals

[mikehearn]

@dmitry.petrov: and I think, judging from a comment I saw somewhere by Andrey, that type aliases will be assignment compatible. So you cannot create a specialised Int and have errors or warnings when attempting to assign across