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
1087
July 7, 2019
Why doesn't smart cast use data from in-code contracts?
Language Design
2
2601
February 10, 2018
Contract to indicate boolean state in lambda function?
Language Design
2
718
April 14, 2020
Null safety smart cast in conditional expression
Language Design
17
2673
September 9, 2019
Smart cast issue: if-else and when
Support
7
2349
December 14, 2017