compiler/testData/codegen/box/reified/reifiedNullableNothing2.kt

// LANGUAGE: +NullableNothingInReifiedPosition
// ISSUE: KT-54227
// IGNORE_BACKEND_K1: ANY

// FILE: lib.kt
interface Intf
class A<T0: Intf?> {
    fun func(t: T0): String {
        return "OK"
    }
}

inline fun <reified T1 : Intf?> foo(it: A<T1>, t: T1): String {
    return it.func(t)
}

// FILE: main.kt
fun box(): String {
    return foo(A<Nothing?>(), null)
}