| 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 context(R|Foo|) |
| public final class Test : R|kotlin/Any| |
| Type: Test |
| Element 7 |
| Context receivers: |
| FirRegularClassSymbol context(R|Foo|) |
| public final class Test : R|kotlin/Any| |
| Type: Foo |
| Label: Foo |
| Element 8 |
| Scope: FirLocalScope |
| Element 9 |
| Scope: FirLocalScope |
| |
| FILE: [ResolvedTo(IMPORTS)] contextReceiversClass.kt |
| public abstract [ResolvedTo(STATUS)] interface Foo : R|kotlin/Any| { |
| public abstract [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Int| |
| |
| } |
| context(R|Foo|) |
| public final [ResolvedTo(STATUS)] class Test : R|kotlin/Any| { |
| public [ResolvedTo(STATUS)] constructor(): R|Test| { |
| LAZY_super<R|kotlin/Any|> |
| } |
| |
| public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| { |
| this@R|/Test|.R|/Foo.foo|() |
| } |
| |
| } |