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
24 lines
725 B
Plaintext
Vendored
24 lines
725 B
Plaintext
Vendored
FILE: generics.kt
|
|
public abstract interface I : R|kotlin/Any| {
|
|
public abstract fun <T : R|kotlin/Comparable<T>|> f(t: R|kotlin/collections/List<T>|): R|kotlin/Any|
|
|
|
|
}
|
|
public abstract class Base : R|kotlin/Any| {
|
|
public constructor(): R|Base| {
|
|
super<R|kotlin/Any|>()
|
|
}
|
|
|
|
public final fun <D : R|kotlin/Comparable<D>|> f(t: R|kotlin/collections/List<D>|): R|kotlin/Unit| {
|
|
}
|
|
|
|
}
|
|
public final class C : R|Base|, R|I| {
|
|
public constructor(): R|C| {
|
|
super<R|Base|>()
|
|
}
|
|
|
|
}
|
|
public final fun f(list: R|kotlin/collections/List<kotlin/Int>|): R|kotlin/Unit| {
|
|
R|/C.C|().R|/Base.f|<R|kotlin/Int|>(R|<local>/list|)
|
|
}
|