blob: 2cfb20aacd0342e7a8ab682e320f30ba73ce00d1 [file]
FILE: reservedMethodsInInterfaces.kt
public abstract interface Lib : R|kotlin/Any| {
public open fun hashCode(): R|kotlin/Boolean| {
^hashCode Boolean(true)
}
public abstract fun box(): R|kotlin/Boolean|
}
public abstract interface Lib1 : R|kotlin/Any| {
public open fun box(): R|kotlin/Boolean| {
^box Boolean(true)
}
}
public abstract interface Lib2 : R|kotlin/Any| {
public abstract fun box(): R|kotlin/Boolean|
}
public abstract interface Lib3 : R|kotlin/Any| {
public open fun box(): R|kotlin/Boolean| {
^box Boolean(true)
}
}
public abstract interface I1 : R|kotlin/Any| {
public open fun <T> equals(other: R|A1|): R|kotlin/Boolean| {
^equals Boolean(true)
}
public open fun hashCode(): R|kotlin/Boolean| {
^hashCode Boolean(true)
}
public open fun box(): R|kotlin/Boolean| {
^box Boolean(true)
}
}
@R|kotlin/jvm/JvmInline|() public final inline value class A1 : R|I1| {
public constructor(i: R|kotlin/Int|): R|A1| {
super<R|kotlin/Any|>()
}
public final val i: R|kotlin/Int| = R|<local>/i|
public get(): R|kotlin/Int|
}
public final fun main1(): R|kotlin/Unit| {
lval a1: R|A1| = R|/A1.A1|(Int(1))
lval a2: R|A1| = R|/A1.A1|(Int(2))
R|<local>/a1|.R|/I1.equals|<R|kotlin/Int|>(R|<local>/a2|)
}
public abstract interface I2 : R|kotlin/Any| {
public open fun <T> equals(other: R|A2<T>|): R|kotlin/Boolean| {
^equals Boolean(true)
}
public abstract fun box(): R|kotlin/Boolean|
}
public abstract interface I2_ : R|I2| {
}
@R|kotlin/jvm/JvmInline|() public final inline value class A2<T> : R|I2_| {
public constructor<T>(i: R|kotlin/Int|): R|A2<T>| {
super<R|kotlin/Any|>()
}
public final val i: R|kotlin/Int| = R|<local>/i|
public get(): R|kotlin/Int|
}
public final fun main2(): R|kotlin/Unit| {
lval a1: R|A2<kotlin/Int>| = R|/A2.A2|<R|kotlin/Int|>(Int(1))
lval a2: R|A2<kotlin/String>| = R|/A2.A2|<R|kotlin/String|>(Int(2))
R|<local>/a1|.R|SubstitutionOverride</A2.equals: R|kotlin/Boolean|>|<R|kotlin/String|>(R|<local>/a2|)
}
public abstract class AC : R|kotlin/Any| {
public constructor(): R|AC| {
super<R|kotlin/Any|>()
}
public final fun equals(arg: R|AC|): R|kotlin/Boolean| {
^equals Boolean(true)
}
}
@R|kotlin/jvm/JvmInline|() public final inline value class A6 : R|AC| {
public constructor(i: R|kotlin/Int|): R|A6| {
super<R|AC|>()
}
public final val i: R|kotlin/Int| = R|<local>/i|
public get(): R|kotlin/Int|
}