diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeClassDescriptorImpl.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeClassDescriptorImpl.kt index 13e9dc5d97c..66b059062e2 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeClassDescriptorImpl.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeClassDescriptorImpl.kt @@ -17,5 +17,4 @@ class ConeClassDescriptorImpl( override val fqName: ClassId, override val superTypes: List, override val nestedClassifiers: List -) : ConeClassDescriptor, AbstractFirBasedDescriptor() { -} \ No newline at end of file +) : ConeClassDescriptor, AbstractFirBasedDescriptor() \ No newline at end of file diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeTypeAliasDescriptorImpl.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeTypeAliasDescriptorImpl.kt new file mode 100644 index 00000000000..dafb9cd38e2 --- /dev/null +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/ConeTypeAliasDescriptorImpl.kt @@ -0,0 +1,18 @@ +/* + * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license + * that can be found in the license/LICENSE.txt file. + */ + +package org.jetbrains.kotlin.descriptors + +import org.jetbrains.kotlin.fir.declarations.FirResolvedTypeAlias +import org.jetbrains.kotlin.fir.descriptors.ConeTypeAliasDescriptor +import org.jetbrains.kotlin.fir.descriptors.ConeTypeParameterDescriptor +import org.jetbrains.kotlin.fir.types.ConeKotlinType +import org.jetbrains.kotlin.name.ClassId + +class ConeTypeAliasDescriptorImpl( + override val typeParameters: List, + override val fqName: ClassId, + override val expandedType: ConeKotlinType +) : ConeTypeAliasDescriptor, AbstractFirBasedDescriptor() \ No newline at end of file diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirClassifierResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirClassifierResolveTransformer.kt index c7a6a7c9145..3279a3f6bec 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirClassifierResolveTransformer.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirClassifierResolveTransformer.kt @@ -7,11 +7,9 @@ package org.jetbrains.kotlin.descriptors import org.jetbrains.kotlin.fir.FirDescriptorOwner import org.jetbrains.kotlin.fir.FirElement -import org.jetbrains.kotlin.fir.declarations.FirClass -import org.jetbrains.kotlin.fir.declarations.FirDeclaration -import org.jetbrains.kotlin.fir.declarations.FirFile -import org.jetbrains.kotlin.fir.declarations.FirResolvedClass +import org.jetbrains.kotlin.fir.declarations.* import org.jetbrains.kotlin.fir.declarations.impl.FirResolvedClassImpl +import org.jetbrains.kotlin.fir.declarations.impl.FirResolvedTypeAliasImpl import org.jetbrains.kotlin.fir.descriptors.ConeClassifierDescriptor import org.jetbrains.kotlin.fir.descriptors.ConeTypeParameterDescriptor import org.jetbrains.kotlin.fir.types.FirResolvedType @@ -66,4 +64,26 @@ class FirClassifierResolveTransformer : FirTransformer() { override fun transformResolvedClass(resolvedClass: FirResolvedClass, data: Nothing?): CompositeTransformResult { return resolvedClass.compose() } + + override fun transformTypeAlias(typeAlias: FirTypeAlias, data: Nothing?): CompositeTransformResult { + typeAlias.transformChildren(this, data) + val expandedType = (typeAlias.expandedType as FirResolvedType).type + val typeParameters = + typeAlias.typeParameters.filterIsInstance>().mapNotNull { it.descriptor as? ConeTypeParameterDescriptor } + + val descriptor = ConeTypeAliasDescriptorImpl( + typeParameters, + ClassId(packageFqName, className.child(typeAlias.name), false), + expandedType + ) + + return FirResolvedTypeAliasImpl(typeAlias, descriptor).compose() + } + + override fun transformResolvedTypeAlias( + resolvedTypeAlias: FirResolvedTypeAlias, + data: Nothing? + ): CompositeTransformResult { + return resolvedTypeAlias.compose() + } } \ No newline at end of file diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirTypeResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirTypeResolveTransformer.kt index fe4edd43f64..3964e4c1aa3 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirTypeResolveTransformer.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/descriptors/FirTypeResolveTransformer.kt @@ -143,7 +143,7 @@ class FirTypeResolveTransformer(val superTypesOnly: Boolean = false) : FirTransf classifier.superTypes.any { it.accept(this, data) } } } - is FirTypeAlias -> classifier.abbreviatedType.accept(this, data) + is FirTypeAlias -> classifier.expandedType.accept(this, data) } return true } diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/impl/FirQualifierResolverImpl.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/impl/FirQualifierResolverImpl.kt index 527f993f168..4641fddedef 100644 --- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/impl/FirQualifierResolverImpl.kt +++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/impl/FirQualifierResolverImpl.kt @@ -48,7 +48,7 @@ class FirQualifierResolverImpl(val session: FirSession) : FirQualifierResolver { ConeAbbreviatedTypeImpl( abbreviationFqName = fqName, typeArguments = parts.toTypeProjections(), - directExpansion = (this.abbreviatedType as FirResolvedType).type + directExpansion = (this.expandedType as FirResolvedType).type ) } diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/FirRenderer.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/FirRenderer.kt index c26b019c0a1..d5a61f26489 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/FirRenderer.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/FirRenderer.kt @@ -155,6 +155,11 @@ class FirRenderer(builder: StringBuilder) : FirVisitorVoid() { visitClass(enumEntry) } + override fun visitResolvedClass(resolvedClass: FirResolvedClass) { + print("(resolved) ") + visitClass(resolvedClass) + } + override fun visitClass(klass: FirClass) { visitMemberDeclaration(klass) val attributes = listOfNotNull( @@ -257,11 +262,16 @@ class FirRenderer(builder: StringBuilder) : FirVisitorVoid() { println("}") } + override fun visitResolvedTypeAlias(resolvedTypeAlias: FirResolvedTypeAlias) { + print("(resolved) ") + visitTypeAlias(resolvedTypeAlias) + } + override fun visitTypeAlias(typeAlias: FirTypeAlias) { typeAlias.annotations.renderAnnotations() visitMemberDeclaration(typeAlias) print(" = ") - typeAlias.abbreviatedType.accept(this) + typeAlias.expandedType.accept(this) println() } diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirResolvedTypeAlias.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirResolvedTypeAlias.kt new file mode 100644 index 00000000000..95d7f7dea07 --- /dev/null +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirResolvedTypeAlias.kt @@ -0,0 +1,14 @@ +/* + * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license + * that can be found in the license/LICENSE.txt file. + */ + +package org.jetbrains.kotlin.fir.declarations + +import org.jetbrains.kotlin.fir.FirDescriptorOwner +import org.jetbrains.kotlin.fir.visitors.FirVisitor + +interface FirResolvedTypeAlias : FirTypeAlias, FirDescriptorOwner { + override fun accept(visitor: FirVisitor, data: D): R = + visitor.visitResolvedTypeAlias(this, data) +} \ No newline at end of file diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirTypeAlias.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirTypeAlias.kt index 34fac5b11fa..ab32f567e0e 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirTypeAlias.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/FirTypeAlias.kt @@ -9,13 +9,13 @@ import org.jetbrains.kotlin.fir.types.FirType import org.jetbrains.kotlin.fir.visitors.FirVisitor interface FirTypeAlias : FirMemberDeclaration { - val abbreviatedType: FirType + val expandedType: FirType override fun accept(visitor: FirVisitor, data: D): R = visitor.visitTypeAlias(this, data) override fun acceptChildren(visitor: FirVisitor, data: D) { super.acceptChildren(visitor, data) - abbreviatedType.accept(visitor, data) + expandedType.accept(visitor, data) } } \ No newline at end of file diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedClassImpl.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedClassImpl.kt index 163b6d0d697..101892abeac 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedClassImpl.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedClassImpl.kt @@ -8,6 +8,7 @@ package org.jetbrains.kotlin.fir.declarations.impl import org.jetbrains.kotlin.fir.FirBasedDescriptor import org.jetbrains.kotlin.fir.declarations.FirClass import org.jetbrains.kotlin.fir.declarations.FirResolvedClass +import org.jetbrains.kotlin.fir.visitors.FirVisitor class FirResolvedClassImpl(val delegate: FirClass, override val descriptor: FirBasedDescriptor) : FirResolvedClass, FirClass by delegate { @@ -16,4 +17,7 @@ class FirResolvedClassImpl(val delegate: FirClass, override val descriptor: FirB descriptor.bind(this) } + override fun accept(visitor: FirVisitor, data: D): R { + return super.accept(visitor, data) + } } \ No newline at end of file diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedTypeAliasImpl.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedTypeAliasImpl.kt new file mode 100644 index 00000000000..8a6add0bc85 --- /dev/null +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirResolvedTypeAliasImpl.kt @@ -0,0 +1,23 @@ +/* + * Copyright 2010-2018 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license + * that can be found in the license/LICENSE.txt file. + */ + +package org.jetbrains.kotlin.fir.declarations.impl + +import org.jetbrains.kotlin.fir.FirBasedDescriptor +import org.jetbrains.kotlin.fir.declarations.FirResolvedTypeAlias +import org.jetbrains.kotlin.fir.declarations.FirTypeAlias +import org.jetbrains.kotlin.fir.visitors.FirVisitor + +class FirResolvedTypeAliasImpl(val delegate: FirTypeAlias, override val descriptor: FirBasedDescriptor) : + FirResolvedTypeAlias, FirTypeAlias by delegate { + + init { + descriptor.bind(this) + } + + override fun accept(visitor: FirVisitor, data: D): R { + return super.accept(visitor, data) + } +} \ No newline at end of file diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirTypeAliasImpl.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirTypeAliasImpl.kt index 40cb3d14bf3..45eb16b0093 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirTypeAliasImpl.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/declarations/impl/FirTypeAliasImpl.kt @@ -21,10 +21,10 @@ class FirTypeAliasImpl( psi: PsiElement?, name: Name, visibility: Visibility, - override var abbreviatedType: FirType + override var expandedType: FirType ) : FirAbstractMemberDeclaration(session, psi, name, visibility, Modality.FINAL), FirTypeAlias { override fun transformChildren(transformer: FirTransformer, data: D): FirElement { - abbreviatedType = abbreviatedType.transformSingle(transformer, data) + expandedType = expandedType.transformSingle(transformer, data) return this } diff --git a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirTransformerGenerated.kt b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirTransformerGenerated.kt index 0bc0e2a7e32..e8b7b9de542 100644 --- a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirTransformerGenerated.kt +++ b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirTransformerGenerated.kt @@ -74,6 +74,10 @@ abstract class FirTransformer : FirVisitor { + return transformTypeAlias(resolvedTypeAlias, data) + } + open fun transformTypeParameter(typeParameter: FirTypeParameter, data: D): CompositeTransformResult { return transformNamedDeclaration(typeParameter, data) } @@ -238,6 +242,10 @@ abstract class FirTransformer : FirVisitor { + return transformTypeAlias(typeAlias, data) + } + final override fun visitTypeProjection(typeProjection: FirTypeProjection, data: D): CompositeTransformResult { return transformTypeProjection(typeProjection, data) } @@ -314,10 +322,6 @@ abstract class FirTransformer : FirVisitor { - return transformTypeAlias(typeAlias, data) - } - final override fun visitTypeParameter(typeParameter: FirTypeParameter, data: D): CompositeTransformResult { return transformTypeParameter(typeParameter, data) } @@ -338,6 +342,10 @@ abstract class FirTransformer : FirVisitor { + return transformResolvedTypeAlias(resolvedTypeAlias, data) + } + final override fun visitStarProjection(starProjection: FirStarProjection, data: D): CompositeTransformResult { return transformStarProjection(starProjection, data) } diff --git a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorGenerated.kt b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorGenerated.kt index 281165fa1f5..f0cbacb7e60 100644 --- a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorGenerated.kt +++ b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorGenerated.kt @@ -74,6 +74,10 @@ abstract class FirVisitor { return visitMemberDeclaration(typeAlias, data) } + open fun visitResolvedTypeAlias(resolvedTypeAlias: FirResolvedTypeAlias, data: D): R { + return visitTypeAlias(resolvedTypeAlias, data) + } + open fun visitTypeParameter(typeParameter: FirTypeParameter, data: D): R { return visitNamedDeclaration(typeParameter, data) } diff --git a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorVoidGenerated.kt b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorVoidGenerated.kt index b5f051e22e1..28c313e3391 100644 --- a/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorVoidGenerated.kt +++ b/compiler/fir/tree/visitors/org/jetbrains/kotlin/fir/visitors/FirVisitorVoidGenerated.kt @@ -74,6 +74,10 @@ abstract class FirVisitorVoid : FirVisitor() { visitMemberDeclaration(typeAlias, null) } + open fun visitResolvedTypeAlias(resolvedTypeAlias: FirResolvedTypeAlias) { + visitTypeAlias(resolvedTypeAlias, null) + } + open fun visitTypeParameter(typeParameter: FirTypeParameter) { visitNamedDeclaration(typeParameter, null) } @@ -238,6 +242,10 @@ abstract class FirVisitorVoid : FirVisitor() { visitType(type) } + final override fun visitTypeAlias(typeAlias: FirTypeAlias, data: Nothing?) { + visitTypeAlias(typeAlias) + } + final override fun visitTypeProjection(typeProjection: FirTypeProjection, data: Nothing?) { visitTypeProjection(typeProjection) } @@ -314,10 +322,6 @@ abstract class FirVisitorVoid : FirVisitor() { visitResolvedImport(resolvedImport) } - final override fun visitTypeAlias(typeAlias: FirTypeAlias, data: Nothing?) { - visitTypeAlias(typeAlias) - } - final override fun visitTypeParameter(typeParameter: FirTypeParameter, data: Nothing?) { visitTypeParameter(typeParameter) } @@ -338,6 +342,10 @@ abstract class FirVisitorVoid : FirVisitor() { visitImplicitType(implicitType) } + final override fun visitResolvedTypeAlias(resolvedTypeAlias: FirResolvedTypeAlias, data: Nothing?) { + visitResolvedTypeAlias(resolvedTypeAlias) + } + final override fun visitStarProjection(starProjection: FirStarProjection, data: Nothing?) { visitStarProjection(starProjection) } diff --git a/compiler/testData/fir/resolve/F.txt b/compiler/testData/fir/resolve/F.txt index f720d9aa1a9..98f13c208ea 100644 --- a/compiler/testData/fir/resolve/F.txt +++ b/compiler/testData/fir/resolve/F.txt @@ -1,5 +1,5 @@ FILE: F.kt - unknown open class A() { + (resolved) unknown open class A() { } - unknown final class B() : R/.A/ { + (resolved) unknown final class B() : R/.A/ { } diff --git a/compiler/testData/fir/resolve/NestedOfAliasedType.txt b/compiler/testData/fir/resolve/NestedOfAliasedType.txt index c8eb27131ae..12893674cb1 100644 --- a/compiler/testData/fir/resolve/NestedOfAliasedType.txt +++ b/compiler/testData/fir/resolve/NestedOfAliasedType.txt @@ -1,11 +1,11 @@ FILE: NestedOfAliasedType.kt - unknown abstract class A() { + (resolved) unknown abstract class A() { unknown abstract class Nested() { } } - unknown final typealias TA = R/.A/ - unknown final class B() : R/.TA = .A/ { + (resolved) unknown final typealias TA = R/.A/ + (resolved) unknown final class B() : R/.TA = .A/ { unknown final class NestedInB() : R/.A.Nested/ { } diff --git a/compiler/testData/fir/resolve/NestedSuperType.txt b/compiler/testData/fir/resolve/NestedSuperType.txt index 52f70dc20a0..e1851206851 100644 --- a/compiler/testData/fir/resolve/NestedSuperType.txt +++ b/compiler/testData/fir/resolve/NestedSuperType.txt @@ -1,5 +1,5 @@ FILE: NestedSuperType.kt - unknown abstract class My() { + (resolved) unknown abstract class My() { unknown abstract class NestedOne() : R/p.My/ { unknown abstract class NestedTwo() : R/p.My.NestedOne/ { } @@ -7,7 +7,7 @@ FILE: NestedSuperType.kt } } - unknown final class Your() : R/p.My/ { + (resolved) unknown final class Your() : R/p.My/ { unknown final class NestedThree() : R/p.My.NestedOne/ { } diff --git a/compiler/testData/fir/resolve/TwoDeclarationsInSameFile.txt b/compiler/testData/fir/resolve/TwoDeclarationsInSameFile.txt index 6a35faf12ed..ef8869f366c 100644 --- a/compiler/testData/fir/resolve/TwoDeclarationsInSameFile.txt +++ b/compiler/testData/fir/resolve/TwoDeclarationsInSameFile.txt @@ -1,5 +1,5 @@ FILE: TwoDeclarationsInSameFile.kt - unknown open class A() { + (resolved) unknown open class A() { } - unknown final class B() : R/p.A/ { + (resolved) unknown final class B() : R/p.A/ { } diff --git a/compiler/testData/fir/resolve/multifile/NestedSuperType.txt b/compiler/testData/fir/resolve/multifile/NestedSuperType.txt index 753e05c7ae2..21ef145caab 100644 --- a/compiler/testData/fir/resolve/multifile/NestedSuperType.txt +++ b/compiler/testData/fir/resolve/multifile/NestedSuperType.txt @@ -1,5 +1,5 @@ FILE: NestedSuperType.kt - unknown final class A() : R/b.B/ { + (resolved) unknown final class A() : R/b.B/ { unknown final class NestedInA1() : R/b.B.NestedInB/ { } diff --git a/compiler/testData/fir/resolve/multifile/simpleAliasedImport.txt b/compiler/testData/fir/resolve/multifile/simpleAliasedImport.txt index 811a9c1029b..06becd22d3e 100644 --- a/compiler/testData/fir/resolve/multifile/simpleAliasedImport.txt +++ b/compiler/testData/fir/resolve/multifile/simpleAliasedImport.txt @@ -1,3 +1,3 @@ FILE: simpleAliasedImport.kt - unknown final class YourClass() : R/b.MyClass/ { + (resolved) unknown final class YourClass() : R/b.MyClass/ { } diff --git a/compiler/testData/fir/resolve/multifile/simpleImport.txt b/compiler/testData/fir/resolve/multifile/simpleImport.txt index 5fdf68bcdf6..1fc18290145 100644 --- a/compiler/testData/fir/resolve/multifile/simpleImport.txt +++ b/compiler/testData/fir/resolve/multifile/simpleImport.txt @@ -1,3 +1,3 @@ FILE: simpleImport.kt - unknown final class YourClass() : R/b.MyClass/ { + (resolved) unknown final class YourClass() : R/b.MyClass/ { } diff --git a/compiler/testData/fir/resolve/multifile/simpleImportNested.txt b/compiler/testData/fir/resolve/multifile/simpleImportNested.txt index 5aa9337ba6a..6c16d2069ea 100644 --- a/compiler/testData/fir/resolve/multifile/simpleImportNested.txt +++ b/compiler/testData/fir/resolve/multifile/simpleImportNested.txt @@ -1,3 +1,3 @@ FILE: simpleImportNested.kt - unknown final class YourClass() : R/a.MyClass.MyNested/ { + (resolved) unknown final class YourClass() : R/a.MyClass.MyNested/ { } diff --git a/compiler/testData/fir/resolve/multifile/simpleImportOuter.txt b/compiler/testData/fir/resolve/multifile/simpleImportOuter.txt index 5fc2b0658c0..01856c8d616 100644 --- a/compiler/testData/fir/resolve/multifile/simpleImportOuter.txt +++ b/compiler/testData/fir/resolve/multifile/simpleImportOuter.txt @@ -1,3 +1,3 @@ FILE: simpleImportOuter.kt - unknown final class My() : R/a.Outer.Nested/ { + (resolved) unknown final class My() : R/a.Outer.Nested/ { } diff --git a/compiler/testData/fir/resolve/simpleClass.txt b/compiler/testData/fir/resolve/simpleClass.txt index 97594b9f16b..742fe21fb66 100644 --- a/compiler/testData/fir/resolve/simpleClass.txt +++ b/compiler/testData/fir/resolve/simpleClass.txt @@ -1,12 +1,12 @@ FILE: simpleClass.kt - unknown final interface SomeInterface() { + (resolved) unknown final interface SomeInterface() { unknown final function foo(x: R/error: Failed to resolve qualified type/, y: R/error: Failed to resolve qualified type/): R/error: Failed to resolve qualified type/ unknown final property bar(val): R/error: Failed to resolve qualified type/ unknown get(): R/error: Failed to resolve qualified type/ } - unknown final class SomeClass() : R/.SomeInterface/ { + (resolved) unknown final class SomeClass() : R/.SomeInterface/ { private final property baz(val): R/error: Not supported: FirImplicitTypeImpl/ = STUB unknown get(): R/error: Not supported: FirImplicitTypeImpl/ diff --git a/compiler/testData/fir/resolve/simpleTypeAlias.txt b/compiler/testData/fir/resolve/simpleTypeAlias.txt index 92a4901f564..cb8136e68c1 100644 --- a/compiler/testData/fir/resolve/simpleTypeAlias.txt +++ b/compiler/testData/fir/resolve/simpleTypeAlias.txt @@ -1,6 +1,6 @@ FILE: simpleTypeAlias.kt - unknown final interface B() { + (resolved) unknown final interface B() { } - unknown final typealias C = R/.B/ - unknown final class D() : R/.C = .B/ { + (resolved) unknown final typealias C = R/.B/ + (resolved) unknown final class D() : R/.C = .B/ { }