Mikhail Glukhikh
21 lines
420 B
Kotlin
Vendored
21 lines
420 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// !WITH_NEW_INFERENCE
|
|
|
|
// FILE: TestClass.java
|
|
import org.jetbrains.annotations.Nullable;
|
|
public class TestClass {
|
|
public <T> T set(@Nullable String key, @Nullable T t) {
|
|
return t;
|
|
}
|
|
}
|
|
|
|
// FILE: main.kt
|
|
fun run() {
|
|
val testClass = TestClass()
|
|
// inferred as `set<Nothing>()`, return type is Nothing!
|
|
testClass.set("test", null)
|
|
|
|
// Should not be unreachable
|
|
run()
|
|
}
|