Kotlin Discussions
Preconditions should activate smart cast, no?
Language Design
ilya.gorbunov
June 9, 2018, 2:19pm
3
More details about that here:
Status of kotlin.internal.contracts?
show post in topic
Related topics
Topic
Replies
Views
Activity
Add smart cast after a "require" statement?
Language Design
2
1212
July 7, 2019
Why doesn't smart cast use data from in-code contracts?
Language Design
2
2763
February 10, 2018
Safe cast a nullable property based on another property value
Language Design
7
126
September 25, 2026
Smart cast to non-null invalidated by the elvis operator?
Language Design
2
2924
February 14, 2016
Why DOESN’T Kotlin smart cast work, even when both are `val`s
Language Design
3
2965
April 12, 2021