| 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 param: R|kotlin/String?| |
| Element 7 |
| Scope: FirLocalScope |
| Element 8 |
| Scope: FirLocalScope |
| Properties: |
| FirValueParameterSymbol it: R|kotlin/String| |
| Element 9 |
| Scope: FirLocalScope |
| Smart Casts: |
| FirValueParameterSymbol param: R|kotlin/String?| |
| Types: |
| kotlin.Any |
| |
| FILE: [ResolvedTo(IMPORTS)] KT-61728.kt |
| public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] param: R|kotlin/String?|): R|kotlin/String?| { |
| [ResolvedTo(BODY_RESOLVE)] lval tmp: R|kotlin/String| = R|<local>/param|?.{ $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/String|>(<L> = [ResolvedTo(BODY_RESOLVE)] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/String|): R|kotlin/String| <inline=Inline, kind=EXACTLY_ONCE> { |
| ^ R|<local>/it| |
| } |
| ) } ?: ^foo Null(null) |
| } |