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
15 lines
335 B
Kotlin
Vendored
15 lines
335 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// !DIAGNOSTICS: -CAST_NEVER_SUCCEEDS
|
|
|
|
interface I
|
|
|
|
interface Inv<P>
|
|
interface Out<out T>
|
|
|
|
class Bar<U : I>(val x: Inv<Out<U>>)
|
|
|
|
fun <T> materializeFoo(): Inv<T> = null as Inv<T>
|
|
|
|
fun main() {
|
|
<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>Bar<!>(<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>materializeFoo<!>())
|
|
} |