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
1122
July 7, 2019
Why doesn't smart cast use data from in-code contracts?
Language Design
2
2652
February 10, 2018
Smart cast to non-null invalidated by the elvis operator?
Language Design
2
2776
February 14, 2016
Why DOESN’T Kotlin smart cast work, even when both are `val`s
Language Design
3
2782
April 12, 2021
Why does requireNotNull throw an IllegalArgumentException?
5
5585
February 15, 2022