Kirill Rakhman
fbf68a5bcc
This uses the same approach as INFERRED_TYPE_VARIABLE_INTO_EMPTY_INTERSECTION where we use a visitor to find a call to a symbol that contains the type variable in question. #KT-56140 Fixed
14 lines
302 B
Kotlin
Vendored
14 lines
302 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// !DIAGNOSTICS: -UNUSED_PARAMETER
|
|
|
|
interface Inv<I>
|
|
interface Inv2<I>
|
|
|
|
fun <T: Inv2<T>> foo(klass: Inv<T>): String? = null
|
|
|
|
fun <X> bar(): Inv<X> = null!!
|
|
|
|
fun test() {
|
|
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>foo<!>(<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>bar<!>())
|
|
}
|