Mikhail Zarechenskiy
26 lines
593 B
Kotlin
Vendored
26 lines
593 B
Kotlin
Vendored
// !WITH_NEW_INFERENCE
|
|
// !CHECK_TYPE
|
|
|
|
interface A<R, T: A<R, T>> {
|
|
fun r(): R
|
|
fun t(): T
|
|
}
|
|
|
|
fun testA(a: A<*, *>) {
|
|
a.r().checkType { _<Any?>() }
|
|
a.t().checkType { _<A<*, *>>() }
|
|
}
|
|
|
|
interface B<R, T: B<List<R>, <!UPPER_BOUND_VIOLATED!>T<!>>> {
|
|
fun r(): R
|
|
fun t(): T
|
|
}
|
|
|
|
fun testB(b: B<*, *>) {
|
|
<!OI;TYPE_MISMATCH!>b<!>.r().checkType { _<Any?>() }
|
|
<!OI;TYPE_MISMATCH!>b<!>.t().checkType { <!NI;DEBUG_INFO_UNRESOLVED_WITH_TARGET, NI;UNRESOLVED_REFERENCE_WRONG_RECEIVER!>_<!><B<List<*>, *>>() }
|
|
|
|
<!OI;TYPE_MISMATCH!><!OI;TYPE_MISMATCH!>b<!>.t()<!>.r().size
|
|
}
|
|
|