Yan Zhulanow
f9c7ca3bdc
Parent declarations of the file copy are typically unresolved in the 'IGNORE_SELF' mode, as the declaration designation contains declarations from the original file.
47 lines
1.3 KiB
Plaintext
Vendored
47 lines
1.3 KiB
Plaintext
Vendored
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
|
|
Scope: FirLocalScope
|
|
Properties:
|
|
FirValueParameterSymbol obj: R|kotlin/Any|
|
|
Element 7
|
|
Scope: FirLocalScope
|
|
Element 8
|
|
Scope: FirLocalScope
|
|
Smart Casts:
|
|
FirValueParameterSymbol obj: R|kotlin/Any|
|
|
Types:
|
|
Bar
|
|
kotlin.Any
|
|
|
|
FILE: [ResolvedTo(IMPORTS)] when.kt
|
|
public final? [ResolvedTo(RAW_FIR)] interface Foo : R|kotlin/Any| {
|
|
public? final? [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/Unit|
|
|
|
|
}
|
|
public final? [ResolvedTo(RAW_FIR)] interface Bar : R|kotlin/Any| {
|
|
public? final? [ResolvedTo(RAW_FIR)] fun bar(): R|kotlin/Unit|
|
|
|
|
}
|
|
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] obj: R|kotlin/Any|): R|kotlin/Unit| {
|
|
when (R|<local>/obj|) {
|
|
($subj$ is R|Foo|) -> {
|
|
R|<local>/obj|.R|/Foo.foo|()
|
|
}
|
|
($subj$ is R|Bar|) -> {
|
|
R|<local>/obj|.R|/Bar.bar|()
|
|
}
|
|
}
|
|
|
|
} |