blob: 1c90d82afdfdbe21b869591c6f05aa0a0785da70 [file]
Module: a
FILE: src.kt
public open class SourceBase : R|kotlin/Any| {
public constructor(): R|SourceBase| {
super<R|kotlin/Any|>()
}
public final val srcField: R|kotlin/String| = String(src)
public get(): R|kotlin/String|
}
public final class SourceWithNested : R|kotlin/Any| {
public constructor(): R|SourceWithNested| {
super<R|kotlin/Any|>()
}
}
public final class SourceWithCompanion : R|kotlin/Any| {
public constructor(): R|SourceWithCompanion| {
super<R|kotlin/Any|>()
}
}
public final class SourceOuterPlain : R|kotlin/Any| {
public constructor(): R|SourceOuterPlain| {
super<R|kotlin/Any|>()
}
}
public final class SourceOuterPlain2 : R|kotlin/Any| {
public constructor(): R|SourceOuterPlain2| {
super<R|kotlin/Any|>()
}
}
public final class SourceOuterGeneric<T> : R|kotlin/Any| {
public constructor<T>(): R|SourceOuterGeneric<T>| {
super<R|kotlin/Any|>()
}
}
public final class SourceOuterGenericPaired<T> : R|kotlin/Any| {
public constructor<T>(): R|SourceOuterGenericPaired<T>| {
super<R|kotlin/Any|>()
}
}
public abstract interface Box<T> : R|kotlin/Any| {
public abstract val value: R|T|
public get(): R|T|
}
@R|org/jetbrains/kotlin/plugin/sandbox/GenerateClassFamily|() public final class Marker : R|kotlin/Any| {
public constructor(): R|Marker| {
super<R|kotlin/Any|>()
}
}
Module: b
FILE: main.kt
public final fun box(): R|kotlin/String| {
lval plain: <ERROR TYPE REF: Unresolved name: Plain> = <Unresolved name: Plain>#()
when () {
!=(R|<local>/plain|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL plain.x: ), R|<local>/plain|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/plain|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL plain.foo: ), R|<local>/plain|.<Unresolved name: foo>#())
}
}
lval generic: <ERROR TYPE REF: Unresolved name: WithGeneric> = <Unresolved name: WithGeneric>#<R|kotlin/String|>()
when () {
!=(R|<local>/generic|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL generic.x: ), R|<local>/generic|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/generic|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL generic.foo: ), R|<local>/generic|.<Unresolved name: foo>#())
}
}
lval es: <ERROR TYPE REF: Unresolved name: ExtendsSource> = <Unresolved name: ExtendsSource>#()
when () {
!=(R|<local>/es|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL es.x: ), R|<local>/es|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/es|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL es.foo: ), R|<local>/es|.<Unresolved name: foo>#())
}
}
when () {
!=(R|<local>/es|.<Unresolved name: srcField>#, String(src)) -> {
^box <strcat>(String(FAIL es.srcField (inherited from source): ), R|<local>/es|.<Unresolved name: srcField>#)
}
}
lval ep: <ERROR TYPE REF: Unresolved name: ExtendsPlain> = <Unresolved name: ExtendsPlain>#()
when () {
!=(R|<local>/ep|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL ep.x (inherited from Plain): ), R|<local>/ep|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/ep|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL ep.foo (inherited from Plain): ), R|<local>/ep|.<Unresolved name: foo>#())
}
}
lval s: <ERROR TYPE REF: Symbol not found for MySealed> = <Unresolved name: SubA>#()
lval tag: R|kotlin/String| = when (lval <when-subject>: <ERROR TYPE REF: Symbol not found for MySealed> = R|<local>/s|) {
($subj$ is <ERROR TYPE REF: Symbol not found for SubA>) -> {
String(a)
}
($subj$ is <ERROR TYPE REF: Symbol not found for SubB>) -> {
String(b)
}
}
when () {
!=(R|<local>/tag|, String(a)) -> {
^box <strcat>(String(FAIL sealed when: ), R|<local>/tag|)
}
}
when () {
!=(R|<local>/s|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL sealed inherited x: ), R|<local>/s|.<Unresolved name: x>#)
}
}
lval nested: <ERROR TYPE REF: Unresolved name: Nested> = Q|SourceWithNested|.<Unresolved name: Nested>#()
when () {
!=(R|<local>/nested|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL nested.x: ), R|<local>/nested|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/nested|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL nested.foo: ), R|<local>/nested|.<Unresolved name: foo>#())
}
}
when () {
!=(Q|SourceWithCompanion|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL companion.x: ), Q|SourceWithCompanion|.<Unresolved name: x>#)
}
}
lval inner: <ERROR TYPE REF: Unresolved name: Inner> = <Unresolved name: WithNestedFamily>#.<Unresolved name: Inner>#()
when () {
!=(R|<local>/inner|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL inner.x: ), R|<local>/inner|.<Unresolved name: x>#)
}
}
when () {
!=(<Unresolved name: WithNestedFamily>#.<Unresolved name: fromCompanion>#(), String(from-companion)) -> {
^box String(FAIL companion fn)
}
}
lval innerA: <ERROR TYPE REF: Unresolved name: InnerPlain> = R|/SourceOuterPlain.SourceOuterPlain|().<Unresolved name: InnerPlain>#()
when () {
!=(R|<local>/innerA|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL innerA.x: ), R|<local>/innerA|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/innerA|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL innerA.foo: ), R|<local>/innerA|.<Unresolved name: foo>#())
}
}
lval innerB: <ERROR TYPE REF: Unresolved name: InnerPlain> = R|/SourceOuterGeneric.SourceOuterGeneric|<R|kotlin/String|>().<Unresolved name: InnerPlain>#()
when () {
!=(R|<local>/innerB|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL innerB.x: ), R|<local>/innerB|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/innerB|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL innerB.foo: ), R|<local>/innerB|.<Unresolved name: foo>#())
}
}
lval innerC: <ERROR TYPE REF: Unresolved name: InnerGeneric> = R|/SourceOuterPlain2.SourceOuterPlain2|().<Unresolved name: InnerGeneric>#<R|kotlin/String|>()
when () {
!=(R|<local>/innerC|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL innerC.x: ), R|<local>/innerC|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/innerC|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL innerC.foo: ), R|<local>/innerC|.<Unresolved name: foo>#())
}
}
lval innerD: <ERROR TYPE REF: Unresolved name: InnerGeneric> = R|/SourceOuterGenericPaired.SourceOuterGenericPaired|<R|kotlin/Int|>().<Unresolved name: InnerGeneric>#<R|kotlin/String|>()
when () {
!=(R|<local>/innerD|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL innerD.x: ), R|<local>/innerD|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/innerD|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL innerD.foo: ), R|<local>/innerD|.<Unresolved name: foo>#())
}
}
lval withInner: <ERROR TYPE REF: Unresolved name: WithInnerFamily> = <Unresolved name: WithInnerFamily>#<R|kotlin/Int|>()
lval innerE: <ERROR TYPE REF: Unresolved name: Inner> = R|<local>/withInner|.<Unresolved name: Inner>#<R|kotlin/String|>()
when () {
!=(R|<local>/innerE|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL innerE.x: ), R|<local>/innerE|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/innerE|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL innerE.foo: ), R|<local>/innerE|.<Unresolved name: foo>#())
}
}
lval deep: <ERROR TYPE REF: Unresolved name: DeeplyInner> = <Unresolved name: WithDeepInnerFamily>#<R|kotlin/Int|>().<Unresolved name: Inner>#<R|kotlin/String|>().<Unresolved name: DeeplyInner>#<R|kotlin/Double|>()
when () {
!=(R|<local>/deep|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL deep.x: ), R|<local>/deep|.<Unresolved name: x>#)
}
}
when () {
!=(R|<local>/deep|.<Unresolved name: foo>#(), String(ok)) -> {
^box <strcat>(String(FAIL deep.foo: ), R|<local>/deep|.<Unresolved name: foo>#())
}
}
lval deepSelf: <ERROR TYPE REF: Symbol not found for WithDeepInnerFamily> = R|<local>/deep|.<Unresolved name: self>#()
when () {
!=(R|<local>/deepSelf|.<Unresolved name: x>#, Int(42)) -> {
^box <strcat>(String(FAIL deepSelf.x: ), R|<local>/deepSelf|.<Unresolved name: x>#)
}
}
lval c: R|kotlin/Double| = R|<local>/deep|.<Unresolved name: idC>#(Double(3.14))
when () {
!=(R|<local>/c|, Double(3.14)) -> {
^box <strcat>(String(FAIL deep.idC: ), R|<local>/c|)
}
}
lval b: R|kotlin/String| = R|<local>/deep|.<Unresolved name: idB>#(String(hi))
when () {
!=(R|<local>/b|, String(hi)) -> {
^box <strcat>(String(FAIL deep.idB: ), R|<local>/b|)
}
}
lval a: R|kotlin/Int| = R|<local>/deep|.<Unresolved name: idA>#(Int(7))
when () {
!=(R|<local>/a|, Int(7)) -> {
^box <strcat>(String(FAIL deep.idA: ), R|<local>/a|)
}
}
lval outerBox: <ERROR TYPE REF: Unresolved name: Outer> = <Unresolved name: Outer>#<R|kotlin/String|>()
lval ib: R|Box<kotlin/String>| = R|<local>/outerBox|.<Unresolved name: InnerBox>#(String(boxed))
when () {
!=(R|<local>/ib|.R|SubstitutionOverride</Box.value: R|kotlin/String|>|, String(boxed)) -> {
^box <strcat>(String(FAIL ib.value: ), R|<local>/ib|.R|SubstitutionOverride</Box.value: R|kotlin/String|>|)
}
}
lval ib2: <ERROR TYPE REF: Unresolved name: InnerBox> = R|<local>/outerBox|.<Unresolved name: InnerBox>#(String(direct))
when () {
!=(R|<local>/ib2|.<Unresolved name: value>#, String(direct)) -> {
^box <strcat>(String(FAIL ib2.value: ), R|<local>/ib2|.<Unresolved name: value>#)
}
}
^box String(OK)
}