<@U2SKJHSGK> AFAIK the only thing you can check at...

# language-proposals

[voddan]

@miha-x64 AFAIK the only thing you can check at compile type are types. NPEs are bound to types in Kotlin, that's how they are checked. it in 0..20 cannot be checked, unless you have a separate type Int0-20 which is incompatible with Int