Dmitriy Novozhilov
e6b5cb5216
Update includes:
- Changing syntax of `OI/`NI` tags from `<!NI;TAG!>` to `<!TAG{NI}!>`
- Fix some incorrect directives
- Change order of diagnostics in some places
- Remove ignored diagnostics from FIR test data (previously `DIAGNOSTICS` didn't work)
- Update FIR dumps in some places and add `FIR_IDENTICAL` if needed
- Replace all JAVAC_SKIP with SKIP_JAVAC directive
26 lines
874 B
Kotlin
Vendored
26 lines
874 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<*, *>) {
|
|
<!TYPE_MISMATCH{OI}!>b<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER{NI}!>r<!>().<!DEBUG_INFO_MISSING_UNRESOLVED{NI}!>checkType<!> { <!UNRESOLVED_REFERENCE{NI}!>_<!><Any?>() }
|
|
<!TYPE_MISMATCH{OI}!>b<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER{NI}!>t<!>().<!DEBUG_INFO_MISSING_UNRESOLVED{NI}!>checkType<!> { <!UNRESOLVED_REFERENCE{NI}!>_<!><B<List<*>, *>>() }
|
|
|
|
<!TYPE_MISMATCH{OI}!><!TYPE_MISMATCH{OI}!>b<!>.<!UNRESOLVED_REFERENCE_WRONG_RECEIVER{NI}!>t<!>()<!>.<!DEBUG_INFO_MISSING_UNRESOLVED{NI}!>r<!>().<!DEBUG_INFO_MISSING_UNRESOLVED{NI}!>size<!>
|
|
}
|
|
|