Ilya Chernikov
6356807997
#KT-36247 fixed A lot of testdata changed because significanly less (error) descriptors are created for unresolved types, so diagnostics became different.
24 lines
661 B
Kotlin
Vendored
24 lines
661 B
Kotlin
Vendored
// !WITH_NEW_INFERENCE
|
|
// !CHECK_TYPE
|
|
|
|
// FILE: Clazz.java
|
|
public class Clazz<T> {
|
|
public T getT() { return null; }
|
|
public Clazz<? super T> getSuperClass() { return null; }
|
|
}
|
|
|
|
// FILE: main.kt
|
|
fun test(clazz: Clazz<*>) {
|
|
clazz.t checkType { _<Any?>() }
|
|
clazz.getSuperClass() checkType { <!NI;UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><Clazz<*>?>() }
|
|
clazz.getSuperClass().t checkType { _<Any?>() }
|
|
|
|
clazz.superClass checkType { <!NI;UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><Clazz<*>?>() }
|
|
clazz.superClass.t checkType { _<Any?>() }
|
|
|
|
// See KT-9294
|
|
if (clazz.superClass == null) {
|
|
throw NullPointerException()
|
|
}
|
|
}
|