Tower Data Context: Element 0 Scope: FirDefaultStarImportingScope Element 1 Scope: FirExplicitStarImportingScope Element 2 Scope: FirDefaultSimpleImportingScope Element 3 Scope: FirDefaultSimpleImportingScope Element 4 Scope: FirPackageMemberScope Element 5 Scope: FirExplicitSimpleImportingScope FILE: [ResolvedTo(IMPORTS)] contextReceiver.kt public open [ResolvedTo(STATUS)] class Base : R|kotlin/Any| { public [ResolvedTo(STATUS)] constructor(): R|test/Base| { LAZY_super } public final? [ResolvedTo(RAW_FIR)] class Nested : R|kotlin/Any| { public? [ResolvedTo(RAW_FIR)] constructor(): R|test/Base.Nested| { LAZY_super } } } context(R|test/Base|) public final [ResolvedTo(ANNOTATION_ARGUMENTS)] class Child : R|test/Base| { public [ResolvedTo(BODY_RESOLVE)] constructor(): R|test/Child| { super() } }