compiler/testData/diagnostics/tests/inference/genericsWithUnmatchedNullabilityNested.kt

// FIR_IDENTICAL
// ISSUE: KT-67912
// WITH_STDLIB

interface Bound

inline fun <reified F : Bound> foo(key: String): F? = null

fun main() {
    val value: Map<String, String> = requireNotNull(
        foo("")
    )
}