Just like `Int` is a subtype of `Int?`, `Int[0;20]...
# language-proposals
m
Just like
Int
is a subtype of
Int?
,
Int[0;20]
can be subtype of
Int
🙃