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
26 lines
492 B
Kotlin
Vendored
26 lines
492 B
Kotlin
Vendored
|
|
// FILE: Sam.java
|
|
|
|
public interface Sam<K> {
|
|
Sam.Result<K> compute();
|
|
|
|
public static class Result<V> {
|
|
public static <V> Sam.Result<V> create(V value) {}
|
|
}
|
|
}
|
|
|
|
// FILE: Foo.java
|
|
|
|
public class Foo {
|
|
public static <T> void foo(Sam<T> var1) {
|
|
}
|
|
}
|
|
|
|
// FILE: test.kt
|
|
|
|
fun test(e: <!UNRESOLVED_REFERENCE!>ErrorType<!>) {
|
|
Foo.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>foo<!> {
|
|
Sam.Result.<!NEW_INFERENCE_NO_INFORMATION_FOR_PARAMETER!>create<!>(e)
|
|
}
|
|
}
|