Files
Ilya Kirillov 1bbcae5ed2 [FIR] fix resolve contract violation from scopes
We cannot call lazy resolve to STATUS phase from scopes as scopes may be accessed on a STATUS phase or earlier

^KT-54890
^KTIJ-23587 fixed
2023-01-13 21:32:51 +00:00

19 lines
248 B
Kotlin
Vendored

interface B<T : S?, S : Any> {
val t: T
}
class C(override val t: Any?) : B<Any?, Any>
fun f(b: B<*, Any>) {
val y = b.t
if (y is String?) {
y<!UNSAFE_CALL!>.<!>length
}
}
fun main() {
f(C("hello"))
f(C(null))
}