x should be smart-cast to Int

# language-proposals

[LastExceed]

x should be smart-cast to Int

Untitled

[louiscad]

x should be Int, not Int? since it's a val.

[raulraja]

what if it was null?

[raulraja]

I find this a valid case for all Comparable<A> and ClosedRange<A>

[raulraja]

null is not in range and x being in range proofs is an Int. The contract system is not smart enough yet. @dmitriy.novozhilov Do you think ClosedRanges could constrain Comprable types to ensure smarcasting is applied in cases like this?

[ilya.gorbunov]

There's an issue about adding such a contract, but currently it's blocked by contracts not being supported for operator functions:
https://youtrack.jetbrains.com/issue/KT-34132