STATUS: TARGET: public open override [ STATUS] var something: R|kotlin/String| public [ ResolvedTo(STATUS)] get(): R|kotlin/String| { LAZY_BLOCK } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(STATUS)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK } } EXPECT_ACTUAL_MATCHING: TARGET: public open override [ EXPECT_ACTUAL_MATCHING] var something: R|kotlin/String| public [ ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/String| { LAZY_BLOCK } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun getSomething(): R|kotlin/String| { LAZY_BLOCK } } CONTRACTS: TARGET: public open override [ CONTRACTS] var something: R|kotlin/String| public [ ResolvedTo(CONTRACTS)] get(): R|kotlin/String| { ^getSomething String(42) } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(CONTRACTS)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } IMPLICIT_TYPES_BODY_RESOLVE: TARGET: public open override [ IMPLICIT_TYPES_BODY_RESOLVE] var something: R|kotlin/String| public [ ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/String| { ^getSomething String(42) } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } CONSTANT_EVALUATION: TARGET: public open override [ CONSTANT_EVALUATION] var something: R|kotlin/String| public [ ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/String| { ^getSomething String(42) } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(CONSTANT_EVALUATION)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } ANNOTATION_ARGUMENTS: TARGET: public open override [ ANNOTATION_ARGUMENTS] var something: R|kotlin/String| public [ ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/String| { ^getSomething String(42) } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(ANNOTATION_ARGUMENTS)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } BODY_RESOLVE: TARGET: public open override [ BODY_RESOLVE] var something: R|kotlin/String| public [ ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| { ^getSomething String(42) } public [ ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Unit| FILE: [ResolvedTo(IMPORTS)] main.kt public final [ResolvedTo(STATUS)] class Derived : R|BaseKotlin| { public [ResolvedTo(STATUS)] [ContainingClassKey=Derived] constructor(): R|Derived| { LAZY_super } public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } } FILE RAW TO BODY: FILE: [ResolvedTo(BODY_RESOLVE)] main.kt public final [ResolvedTo(BODY_RESOLVE)] class Derived : R|BaseKotlin| { public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Derived] constructor(): R|Derived| { super() } public open override [ResolvedTo(BODY_RESOLVE)] fun getSomething(): R|kotlin/String| { ^getSomething String(42) } }