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 Element 6 Implicit receiver: FirRegularClassSymbol public final class Foo : R|kotlin/Any| Type: test.Foo Element 7 Scope: FirLocalScope Properties: FirValueParameterSymbol constructorParam: R|test/MyInterface| FILE: [ResolvedTo(IMPORTS)] propertyDelegateInitializer.kt public abstract [ResolvedTo(STATUS)] interface MyInterface : R|kotlin/Any| { public abstract operator [ResolvedTo(CONTRACTS)] fun getValue([ResolvedTo(CONTRACTS)] thisRef: R|kotlin/Any|, [ResolvedTo(CONTRACTS)] property: R|kotlin/Any|): R|test/MyInterface| } public final [ResolvedTo(STATUS)] class Foo : R|kotlin/Any| { public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] constructorParam: R|test/MyInterface|): R|test/Foo| { LAZY_super } public final [ResolvedTo(STATUS)] val regularProperty: R|test/MyInterface| public [ResolvedTo(STATUS)] get(): R|test/MyInterface| public final [ResolvedTo(BODY_RESOLVE)] val property: R|test/MyInterface|by R|/constructorParam| public [ResolvedTo(BODY_RESOLVE)] get(): R|test/MyInterface| { ^ this@R|test/Foo|.D|test/Foo.property|.R|test/MyInterface.getValue|(this@R|test/Foo|, ::R|test/Foo.property|) } }