Files
Jinseong Jeon 9b39a8abc2 FIR: avoid wrapping an erroneous type as FirResolvedTypeRef
Instead, use FirErrorTypeRef, a subtype of FirResolvedTypeRef
2021-04-29 22:31:38 +03:00

52 lines
1.4 KiB
Plaintext
Vendored

FILE: companion.kt
public open class A : R|kotlin/Any| {
public constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final companion object Companion : R|kotlin/Any| {
private constructor(): R|A.Companion| {
super<R|kotlin/Any|>()
}
public final fun foo(): R|kotlin/Unit| {
}
public final val D: R|kotlin/String| = String()
public get(): R|kotlin/String|
}
public final fun bar(): R|kotlin/Unit| {
this@R|/A.Companion|.R|/A.Companion.foo|()
}
}
public final class B : R|kotlin/Any| {
public constructor(): R|B| {
super<R|kotlin/Any|>()
}
public final companion object Companion : R|A| {
private constructor(): R|B.Companion| {
super<R|A|>()
}
public final fun baz(): R|kotlin/Unit| {
}
public final val C: R|kotlin/String| = String()
public get(): R|kotlin/String|
}
}
public final fun test(): R|kotlin/Unit| {
Q|A|.R|/A.Companion.foo|()
Q|B|.R|/A.bar|()
Q|B|.R|/B.Companion.baz|()
lval x: R|kotlin/String| = Q|A|.R|/A.Companion.D|
lval y: R|kotlin/String| = Q|B|.R|/B.Companion.C|
lval z: <ERROR TYPE REF: Unresolved name: D> = Q|B|.<Unresolved name: D>#
}