https://kotlinlang.org logo
#announcements
Title
# announcements
d

damian

03/15/2017, 5:43 PM
I'm slightly mistaken. It only happens when the public final field is from another module. Still an unexpected breaking change.
s

stanislav.erokhin

03/15/2017, 9:01 PM
Well if this smart cast was available in 1.0.x then it was bug, because java class from different module can be recompiled independently and compiled code with such smart cast will be incorrect.