Files
Kirill Rakhman 1018ff280e [FIR] Fully expand the bounds of type parameters for canBeNull check
This is required because a not-null bound `Foo` can resolve to a
`typealias Foo = Bar?` in which case we must return true.

#KT-64645 Fixed
2024-01-03 17:15:50 +00:00

19 lines
306 B
Kotlin
Vendored

// FIR_IDENTICAL
// DIAGNOSTICS: -DEBUG_INFO_SMARTCAST, -FINAL_UPPER_BOUND
// ISSUE: KT-64645
class Box(val value: String)
typealias NullableBox = Box?
fun <T : NullableBox> foo(x: T) {
if (x != null) {
x.value
}
}
fun foo2(x: NullableBox) {
if (x != null) {
x.value
}
}