| // RUN_PIPELINE_TILL: FRONTEND | |
| // FIR_IDENTICAL | |
| // SKIP_TXT | |
| // FILE: a.kt | |
| package p | |
| class FilteringSequence | |
| // FILE: b.kt | |
| package kotlin.sequences | |
| import p.* | |
| interface I { | |
| val v1: FilteringSequence | |
| val <!EXPOSED_PROPERTY_TYPE!>v2<!>: <!INVISIBLE_REFERENCE!>IndexingSequence<!><String> | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, interfaceDeclaration, propertyDeclaration */ |