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
1125
July 7, 2019
Why doesn't smart cast use data from in-code contracts?
Language Design
2
2660
February 10, 2018
Smart cast to non-null invalidated by the elvis operator?
Language Design
2
2785
February 14, 2016
Null Safety compiler check vs IntelliJ IDEA plugin
3
2707
October 14, 2015
Smartcast to from nullable to NotNull in run
Language Design
1
1265
February 4, 2018