FIR2IR KT-46578 add overridden properties generation

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/ConversionUtils.kt

@@ -353,6 +353,33 @@ private fun FirClass<*>.getSuperTypesAsIrClasses(
     return irClass.superTypes.mapNotNull { it.classifierOrNull?.owner as? IrClass }.toSet()
 }
 
+internal fun FirProperty.generateOverriddenPropertySymbols(
+    containingClass: FirClass<*>,
+    session: FirSession,
+    scopeSession: ScopeSession,
+    declarationStorage: Fir2IrDeclarationStorage,
+    fakeOverrideGenerator: FakeOverrideGenerator,
+): List<IrPropertySymbol> {
+    val superClasses = containingClass.getSuperTypesAsIrClasses(declarationStorage) ?: return emptyList()
+
+    val scope = containingClass.unsubstitutedScope(session, scopeSession, withForcedTypeCalculator = true)
+    scope.processPropertiesByName(name) {}
+    val overriddenSet = mutableSetOf<IrPropertySymbol>()
+    scope.processOverriddenPropertiesFromSuperClasses(symbol, containingClass) {
+        if (it.fir.visibility == Visibilities.Private) {
+            return@processOverriddenPropertiesFromSuperClasses ProcessorAction.NEXT
+        }
+
+        for (overridden in fakeOverrideGenerator.getOverriddenSymbolsInSupertypes(it, superClasses)) {
+            overriddenSet += overridden
+        }
+
+        ProcessorAction.NEXT
+    }
+
+    return overriddenSet.toList()
+}
+
 internal fun FirProperty.generateOverriddenAccessorSymbols(
     containingClass: FirClass<*>,
     isGetter: Boolean,

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/generators/ClassMemberGenerator.kt

@@ -156,6 +156,11 @@ internal class ClassMemberGenerator(
         val delegate = property.delegate
         val propertyType = property.returnTypeRef.toIrType()
         irProperty.initializeBackingField(property, initializerExpression = initializer ?: delegate)
+        if (containingClass != null) {
+            irProperty.overriddenSymbols = property.generateOverriddenPropertySymbols(
+                containingClass, session, scopeSession, declarationStorage, fakeOverrideGenerator
+            )
+        }
         irProperty.getter?.setPropertyAccessorContent(
             property, property.getter, irProperty, propertyType,
             property.getter is FirDefaultPropertyGetter,

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/backend/generators/DelegatedMemberGenerator.kt

@@ -161,6 +161,14 @@ internal class DelegatedMemberGenerator(
                 firDelegateProperty, subClass, origin = IrDeclarationOrigin.DELEGATED_MEMBER,
                 containingClass = firSubClass.symbol.toLookupTag()
             )
+        delegateProperty.overriddenSymbols =
+            firDelegateProperty.generateOverriddenPropertySymbols(
+                firSubClass,
+                session,
+                scopeSession,
+                declarationStorage,
+                fakeOverrideGenerator
+            )
         annotationGenerator.generate(delegateProperty, firDelegateProperty)
 
         delegateProperty.getter!!.body = createDelegateBody(irField, delegateProperty.getter!!, superProperty.getter!!)

compiler/fir/fir2ir/src/org/jetbrains/kotlin/fir/lazy/Fir2IrLazyProperty.kt

@@ -7,8 +7,6 @@ package org.jetbrains.kotlin.fir.lazy
 
 import org.jetbrains.kotlin.descriptors.Modality
 import org.jetbrains.kotlin.descriptors.PropertyDescriptor
-import org.jetbrains.kotlin.fir.backend.Fir2IrComponents
-import org.jetbrains.kotlin.fir.backend.toIrConst
 import org.jetbrains.kotlin.fir.declarations.*
 import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertyGetter
 import org.jetbrains.kotlin.fir.declarations.impl.FirDefaultPropertySetter
@@ -24,10 +22,11 @@ import org.jetbrains.kotlin.ir.util.isInterface
 import org.jetbrains.kotlin.name.Name
 import org.jetbrains.kotlin.serialization.deserialization.descriptors.DeserializedContainerSource
 import org.jetbrains.kotlin.descriptors.DescriptorVisibility
-import org.jetbrains.kotlin.fir.backend.ConversionTypeContext
+import org.jetbrains.kotlin.fir.backend.*
 import org.jetbrains.kotlin.fir.backend.ConversionTypeOrigin
 import org.jetbrains.kotlin.fir.symbols.Fir2IrSimpleFunctionSymbol
 import org.jetbrains.kotlin.ir.symbols.IrPropertySymbol
+import org.jetbrains.kotlin.ir.symbols.IrSimpleFunctionSymbol
 
 class Fir2IrLazyProperty(
     components: Fir2IrComponents,
@@ -185,7 +184,13 @@ class Fir2IrLazyProperty(
     }
 
     override var overriddenSymbols: List<IrPropertySymbol> by lazyVar(lock) {
-        emptyList() // TODO calculate overridden symbols for property
+        fir.generateOverriddenPropertySymbols(
+            containingClass,
+            session,
+            scopeSession,
+            declarationStorage,
+            fakeOverrideGenerator
+        )
     }
 
     override var metadata: MetadataSource?

compiler/testData/codegen/box/smartCasts/kt44814.fir.txt

@@ -66,6 +66,8 @@ FILE fqName:<root> fileName:/kt44814.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:psi type:<root>.PsiElement visibility:private [final]' type=<root>.PsiElement origin=null
               receiver: GET_VAR '<this>: <root>.FirPsiSourceElement declared in <root>.FirPsiSourceElement.<get-psi>' type=<root>.FirPsiSourceElement origin=null
     PROPERTY name:lighterASTNode visibility:public modality:FINAL [val]
+      overridden:
+        public abstract lighterASTNode: <root>.LighterASTNode [val]
       FIELD PROPERTY_BACKING_FIELD name:lighterASTNode type:<root>.LighterASTNode visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'lighterASTNode: <root>.LighterASTNode declared in <root>.FirPsiSourceElement.<init>' type=<root>.LighterASTNode origin=INITIALIZE_PROPERTY_FROM_PARAMETER
@@ -79,6 +81,8 @@ FILE fqName:<root> fileName:/kt44814.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:lighterASTNode type:<root>.LighterASTNode visibility:private [final]' type=<root>.LighterASTNode origin=null
               receiver: GET_VAR '<this>: <root>.FirPsiSourceElement declared in <root>.FirPsiSourceElement.<get-lighterASTNode>' type=<root>.FirPsiSourceElement origin=null
     PROPERTY name:treeStructure visibility:public modality:FINAL [val]
+      overridden:
+        public abstract treeStructure: <root>.FlyweightCapableTreeStructure [val]
       FIELD PROPERTY_BACKING_FIELD name:treeStructure type:<root>.FlyweightCapableTreeStructure visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'treeStructure: <root>.FlyweightCapableTreeStructure declared in <root>.FirPsiSourceElement.<init>' type=<root>.FlyweightCapableTreeStructure origin=INITIALIZE_PROPERTY_FROM_PARAMETER
@@ -113,6 +117,8 @@ FILE fqName:<root> fileName:/kt44814.kt
         DELEGATING_CONSTRUCTOR_CALL 'protected constructor <init> () [primary] declared in <root>.FirSourceElement'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:FirLightSourceElement modality:FINAL visibility:public superTypes:[<root>.FirSourceElement]'
     PROPERTY name:lighterASTNode visibility:public modality:FINAL [val]
+      overridden:
+        public abstract lighterASTNode: <root>.LighterASTNode [val]
       FIELD PROPERTY_BACKING_FIELD name:lighterASTNode type:<root>.LighterASTNode visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'lighterASTNode: <root>.LighterASTNode declared in <root>.FirLightSourceElement.<init>' type=<root>.LighterASTNode origin=INITIALIZE_PROPERTY_FROM_PARAMETER
@@ -126,6 +132,8 @@ FILE fqName:<root> fileName:/kt44814.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:lighterASTNode type:<root>.LighterASTNode visibility:private [final]' type=<root>.LighterASTNode origin=null
               receiver: GET_VAR '<this>: <root>.FirLightSourceElement declared in <root>.FirLightSourceElement.<get-lighterASTNode>' type=<root>.FirLightSourceElement origin=null
     PROPERTY name:treeStructure visibility:public modality:FINAL [val]
+      overridden:
+        public abstract treeStructure: <root>.FlyweightCapableTreeStructure [val]
       FIELD PROPERTY_BACKING_FIELD name:treeStructure type:<root>.FlyweightCapableTreeStructure visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'treeStructure: <root>.FlyweightCapableTreeStructure declared in <root>.FirLightSourceElement.<init>' type=<root>.FlyweightCapableTreeStructure origin=INITIALIZE_PROPERTY_FROM_PARAMETER

compiler/testData/ir/irText/classes/delegatedGenericImplementation.fir.txt

@@ -61,6 +61,8 @@ FILE fqName:<root> fileName:/delegatedGenericImplementation.kt
           a: GET_VAR 'a: E of <root>.Test1 declared in <root>.Test1.foo' type=E of <root>.Test1 origin=null
           b: GET_VAR 'b: B of <root>.Test1.foo declared in <root>.Test1.foo' type=B of <root>.Test1.foo origin=null
     PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
+      overridden:
+        public abstract id: kotlin.collections.Map<A of <root>.IBase, C of <root>.IBase.<get-id>>? [val]
       FUN DELEGATED_MEMBER name:<get-id> visibility:public modality:OPEN <C> ($this:<root>.Test1<E of <root>.Test1>, $receiver:C of <root>.Test1.<get-id>) returnType:kotlin.collections.Map<E of <root>.Test1, C of <root>.Test1.<get-id>>?
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
         overridden:
@@ -76,6 +78,8 @@ FILE fqName:<root> fileName:/delegatedGenericImplementation.kt
                 receiver: GET_VAR '<this>: <root>.Test1<E of <root>.Test1> declared in <root>.Test1.<get-id>' type=<root>.Test1<E of <root>.Test1> origin=null
               $receiver: GET_VAR '<this>: C of <root>.Test1.<get-id> declared in <root>.Test1.<get-id>' type=C of <root>.Test1.<get-id> origin=null
     PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [var]
+      overridden:
+        public abstract x: D of <root>.IBase.<get-x>? [var]
       FUN DELEGATED_MEMBER name:<get-x> visibility:public modality:OPEN <D> ($this:<root>.Test1<E of <root>.Test1>, $receiver:kotlin.collections.List<D of <root>.Test1.<get-x>>) returnType:D of <root>.Test1.<get-x>?
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [var]
         overridden:
@@ -143,6 +147,8 @@ FILE fqName:<root> fileName:/delegatedGenericImplementation.kt
           a: GET_VAR 'a: kotlin.String declared in <root>.Test2.foo' type=kotlin.String origin=null
           b: GET_VAR 'b: B of <root>.Test2.foo declared in <root>.Test2.foo' type=B of <root>.Test2.foo origin=null
     PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
+      overridden:
+        public abstract id: kotlin.collections.Map<A of <root>.IBase, C of <root>.IBase.<get-id>>? [val]
       FUN DELEGATED_MEMBER name:<get-id> visibility:public modality:OPEN <C> ($this:<root>.Test2, $receiver:C of <root>.Test2.<get-id>) returnType:kotlin.collections.Map<kotlin.String, C of <root>.Test2.<get-id>>?
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
         overridden:
@@ -158,6 +164,8 @@ FILE fqName:<root> fileName:/delegatedGenericImplementation.kt
                 receiver: GET_VAR '<this>: <root>.Test2 declared in <root>.Test2.<get-id>' type=<root>.Test2 origin=null
               $receiver: GET_VAR '<this>: C of <root>.Test2.<get-id> declared in <root>.Test2.<get-id>' type=C of <root>.Test2.<get-id> origin=null
     PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [var]
+      overridden:
+        public abstract x: D of <root>.IBase.<get-x>? [var]
       FUN DELEGATED_MEMBER name:<get-x> visibility:public modality:OPEN <D> ($this:<root>.Test2, $receiver:kotlin.collections.List<D of <root>.Test2.<get-x>>) returnType:D of <root>.Test2.<get-x>?
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [var]
         overridden:

compiler/testData/ir/irText/classes/delegatedImplementation.fir.txt

@@ -117,6 +117,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
                 DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
                 INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:<no name provided> modality:FINAL visibility:local superTypes:[<root>.IOther]'
             PROPERTY name:x visibility:public modality:FINAL [val]
+              overridden:
+                public abstract x: kotlin.String [val]
               FIELD PROPERTY_BACKING_FIELD name:x type:kotlin.String visibility:private [final]
                 EXPRESSION_BODY
                   GET_VAR 'x0: kotlin.String declared in <root>.otherImpl' type=kotlin.String origin=null
@@ -130,6 +132,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
                     GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:x type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
                       receiver: GET_VAR '<this>: <root>.otherImpl.<no name provided> declared in <root>.otherImpl.<no name provided>.<get-x>' type=<root>.otherImpl.<no name provided> origin=null
             PROPERTY name:y visibility:public modality:FINAL [var]
+              overridden:
+                public abstract y: kotlin.Int [var]
               FIELD PROPERTY_BACKING_FIELD name:y type:kotlin.Int visibility:private
                 EXPRESSION_BODY
                   GET_VAR 'y0: kotlin.Int declared in <root>.otherImpl' type=kotlin.Int origin=null
@@ -153,6 +157,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
                     receiver: GET_VAR '<this>: <root>.otherImpl.<no name provided> declared in <root>.otherImpl.<no name provided>.<set-y>' type=<root>.otherImpl.<no name provided> origin=null
                     value: GET_VAR '<set-?>: kotlin.Int declared in <root>.otherImpl.<no name provided>.<set-y>' type=kotlin.Int origin=null
             PROPERTY name:z1 visibility:public modality:FINAL [val]
+              overridden:
+                public abstract z1: kotlin.Int [val]
               FUN name:<get-z1> visibility:public modality:FINAL <> ($this:<root>.otherImpl.<no name provided>, $receiver:kotlin.Byte) returnType:kotlin.Int
                 correspondingProperty: PROPERTY name:z1 visibility:public modality:FINAL [val]
                 overridden:
@@ -163,6 +169,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
                   RETURN type=kotlin.Nothing from='public final fun <get-z1> (): kotlin.Int declared in <root>.otherImpl.<no name provided>'
                     CONST Int type=kotlin.Int value=1
             PROPERTY name:z2 visibility:public modality:FINAL [var]
+              overridden:
+                public abstract z2: kotlin.Int [var]
               FUN name:<get-z2> visibility:public modality:FINAL <> ($this:<root>.otherImpl.<no name provided>, $receiver:kotlin.Byte) returnType:kotlin.Int
                 correspondingProperty: PROPERTY name:z2 visibility:public modality:FINAL [var]
                 overridden:
@@ -288,6 +296,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
       EXPRESSION_BODY
         GET_OBJECT 'CLASS OBJECT name:BaseImpl modality:FINAL visibility:public superTypes:[<root>.IBase]' type=<root>.BaseImpl
     PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [val]
+      overridden:
+        public abstract x: kotlin.String [val]
       FUN DELEGATED_MEMBER name:<get-x> visibility:public modality:OPEN <> ($this:<root>.Test2) returnType:kotlin.String
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:x visibility:public modality:OPEN [val]
         overridden:
@@ -299,6 +309,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
               $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_1> type:<root>.IOther visibility:local [final]' type=<root>.IOther origin=null
                 receiver: GET_VAR '<this>: <root>.Test2 declared in <root>.Test2.<get-x>' type=<root>.Test2 origin=null
     PROPERTY DELEGATED_MEMBER name:y visibility:public modality:OPEN [var]
+      overridden:
+        public abstract y: kotlin.Int [var]
       FUN DELEGATED_MEMBER name:<get-y> visibility:public modality:OPEN <> ($this:<root>.Test2) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:y visibility:public modality:OPEN [var]
         overridden:
@@ -321,6 +333,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
               receiver: GET_VAR '<this>: <root>.Test2 declared in <root>.Test2.<set-y>' type=<root>.Test2 origin=null
             <set-?>: GET_VAR '<set-?>: kotlin.Int declared in <root>.Test2.<set-y>' type=kotlin.Int origin=null
     PROPERTY DELEGATED_MEMBER name:z1 visibility:public modality:OPEN [val]
+      overridden:
+        public abstract z1: kotlin.Int [val]
       FUN DELEGATED_MEMBER name:<get-z1> visibility:public modality:OPEN <> ($this:<root>.Test2, $receiver:kotlin.Byte) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:z1 visibility:public modality:OPEN [val]
         overridden:
@@ -334,6 +348,8 @@ FILE fqName:<root> fileName:/delegatedImplementation.kt
                 receiver: GET_VAR '<this>: <root>.Test2 declared in <root>.Test2.<get-z1>' type=<root>.Test2 origin=null
               $receiver: GET_VAR '<this>: kotlin.Byte declared in <root>.Test2.<get-z1>' type=kotlin.Byte origin=null
     PROPERTY DELEGATED_MEMBER name:z2 visibility:public modality:OPEN [var]
+      overridden:
+        public abstract z2: kotlin.Int [var]
       FUN DELEGATED_MEMBER name:<get-z2> visibility:public modality:OPEN <> ($this:<root>.Test2, $receiver:kotlin.Byte) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:z2 visibility:public modality:OPEN [var]
         overridden:

compiler/testData/ir/irText/classes/qualifiedSuperCalls.fir.txt

@@ -66,6 +66,9 @@ FILE fqName:<root> fileName:/qualifiedSuperCalls.kt
         CALL 'public open fun foo (): kotlin.Unit declared in <root>.IRight' superQualifier='CLASS INTERFACE name:IRight modality:ABSTRACT visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit origin=null
           $this: GET_VAR '<this>: <root>.CBoth declared in <root>.CBoth.foo' type=<root>.CBoth origin=null
     PROPERTY name:bar visibility:public modality:FINAL [val]
+      overridden:
+        public open bar: kotlin.Int [val]
+        public open bar: kotlin.Int [val]
       FUN name:<get-bar> visibility:public modality:FINAL <> ($this:<root>.CBoth) returnType:kotlin.Int
         correspondingProperty: PROPERTY name:bar visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/classes/superCalls.fir.txt

@@ -50,6 +50,8 @@ FILE fqName:<root> fileName:/superCalls.kt
         CALL 'public open fun foo (): kotlin.Unit declared in <root>.Base' superQualifier='CLASS CLASS name:Base modality:OPEN visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit origin=null
           $this: GET_VAR '<this>: <root>.Derived declared in <root>.Derived.foo' type=<root>.Derived origin=null
     PROPERTY name:bar visibility:public modality:FINAL [val]
+      overridden:
+        public open bar: kotlin.String [val]
       FUN name:<get-bar> visibility:public modality:FINAL <> ($this:<root>.Derived) returnType:kotlin.String
         correspondingProperty: PROPERTY name:bar visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/classes/superCallsComposed.fir.txt

@@ -68,6 +68,9 @@ FILE fqName:<root> fileName:/superCallsComposed.kt
         CALL 'public open fun foo (): kotlin.Unit declared in <root>.Base' superQualifier='CLASS CLASS name:Base modality:OPEN visibility:public superTypes:[kotlin.Any]' type=kotlin.Unit origin=null
           $this: GET_VAR '<this>: <root>.Derived declared in <root>.Derived.foo' type=<root>.Derived origin=null
     PROPERTY name:bar visibility:public modality:FINAL [val]
+      overridden:
+        public open bar: kotlin.String [val]
+        public abstract bar: kotlin.String [val]
       FUN name:<get-bar> visibility:public modality:FINAL <> ($this:<root>.Derived) returnType:kotlin.String
         correspondingProperty: PROPERTY name:bar visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/declarations/annotations/annotationsOnDelegatedMembers.fir.txt

@@ -84,6 +84,8 @@ FILE fqName:<root> fileName:/annotationsOnDelegatedMembers.kt
     PROPERTY DELEGATED_MEMBER name:testVal visibility:public modality:OPEN [val]
       annotations:
         Ann
+      overridden:
+        public abstract testVal: kotlin.String [val]
       FUN DELEGATED_MEMBER name:<get-testVal> visibility:public modality:OPEN <> ($this:<root>.DFoo) returnType:kotlin.String
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:testVal visibility:public modality:OPEN [val]
         overridden:
@@ -97,6 +99,8 @@ FILE fqName:<root> fileName:/annotationsOnDelegatedMembers.kt
     PROPERTY DELEGATED_MEMBER name:testExtVal visibility:public modality:OPEN [val]
       annotations:
         Ann
+      overridden:
+        public abstract testExtVal: kotlin.String [val]
       FUN DELEGATED_MEMBER name:<get-testExtVal> visibility:public modality:OPEN <> ($this:<root>.DFoo, $receiver:kotlin.String) returnType:kotlin.String
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:testExtVal visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/declarations/annotations/inheritingDeprecation.fir.txt

@@ -43,6 +43,8 @@ FILE fqName:<root> fileName:/inheritingDeprecation.kt
     PROPERTY DELEGATED_MEMBER name:prop visibility:public modality:OPEN [val]
       annotations:
         Deprecated(message = '', replaceWith = <null>, level = <null>)
+      overridden:
+        public open prop: kotlin.String [val]
       FUN DELEGATED_MEMBER name:<get-prop> visibility:public modality:OPEN <> ($this:<root>.Delegated) returnType:kotlin.String
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:prop visibility:public modality:OPEN [val]
         overridden:
@@ -56,6 +58,8 @@ FILE fqName:<root> fileName:/inheritingDeprecation.kt
     PROPERTY DELEGATED_MEMBER name:extProp visibility:public modality:OPEN [val]
       annotations:
         Deprecated(message = '', replaceWith = <null>, level = <null>)
+      overridden:
+        public open extProp: kotlin.String [val]
       FUN DELEGATED_MEMBER name:<get-extProp> visibility:public modality:OPEN <> ($this:<root>.Delegated, $receiver:kotlin.String) returnType:kotlin.String
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:extProp visibility:public modality:OPEN [val]
         overridden:
@@ -127,6 +131,8 @@ FILE fqName:<root> fileName:/inheritingDeprecation.kt
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:ExplicitOverride modality:FINAL visibility:public superTypes:[<root>.IFoo]'
     PROPERTY name:prop visibility:public modality:FINAL [val]
+      overridden:
+        public open prop: kotlin.String [val]
       FUN name:<get-prop> visibility:public modality:FINAL <> ($this:<root>.ExplicitOverride) returnType:kotlin.String
         correspondingProperty: PROPERTY name:prop visibility:public modality:FINAL [val]
         overridden:
@@ -136,6 +142,8 @@ FILE fqName:<root> fileName:/inheritingDeprecation.kt
           RETURN type=kotlin.Nothing from='public final fun <get-prop> (): kotlin.String declared in <root>.ExplicitOverride'
             CONST String type=kotlin.String value=""
     PROPERTY name:extProp visibility:public modality:FINAL [val]
+      overridden:
+        public open extProp: kotlin.String [val]
       FUN name:<get-extProp> visibility:public modality:FINAL <> ($this:<root>.ExplicitOverride, $receiver:kotlin.String) returnType:kotlin.String
         correspondingProperty: PROPERTY name:extProp visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/declarations/fakeOverrides.fir.txt

@@ -68,6 +68,8 @@ FILE fqName:<root> fileName:/fakeOverrides.kt
           <T>: kotlin.String
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Test1 modality:FINAL visibility:public superTypes:[<root>.CFoo<kotlin.String>; <root>.IFooStr; <root>.IBar]'
     PROPERTY name:bar visibility:public modality:FINAL [val]
+      overridden:
+        public abstract bar: kotlin.Int [val]
       FIELD PROPERTY_BACKING_FIELD name:bar type:kotlin.Int visibility:private [final]
         EXPRESSION_BODY
           CONST Int type=kotlin.Int value=42

compiler/testData/ir/irText/declarations/inlineCollectionOfInlineClass.fir.txt

@@ -84,6 +84,8 @@ FILE fqName:<root> fileName:/inlineCollectionOfInlineClass.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:ms type:kotlin.collections.MutableSet<<root>.IT> visibility:private [final]' type=kotlin.collections.MutableSet<<root>.IT> origin=null
               receiver: GET_VAR '<this>: <root>.InlineMutableSet declared in <root>.InlineMutableSet.<get-ms>' type=<root>.InlineMutableSet origin=null
     PROPERTY name:size visibility:public modality:FINAL [val]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FUN name:<get-size> visibility:public modality:FINAL <> ($this:<root>.InlineMutableSet) returnType:kotlin.Int
         correspondingProperty: PROPERTY name:size visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/declarations/kt35550.fir.txt

@@ -31,6 +31,8 @@ FILE fqName:<root> fileName:/kt35550.kt
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:A modality:FINAL visibility:public superTypes:[<root>.I]'
     PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
+      overridden:
+        public open id: T of <root>.I.<get-id> [val]
       FUN DELEGATED_MEMBER name:<get-id> visibility:public modality:OPEN <T> ($this:<root>.A, $receiver:T of <root>.A.<get-id>) returnType:T of <root>.A.<get-id>
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:id visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/declarations/localClassWithOverrides.fir.txt

@@ -46,6 +46,8 @@ FILE fqName:<root> fileName:/localClassWithOverrides.kt
           $this: VALUE_PARAMETER name:<this> type:<root>.outer.Local
           BLOCK_BODY
         PROPERTY name:aval visibility:public modality:FINAL [val]
+          overridden:
+            public abstract aval: kotlin.Int [val]
           FIELD PROPERTY_BACKING_FIELD name:aval type:kotlin.Int visibility:private [final]
             EXPRESSION_BODY
               CONST Int type=kotlin.Int value=1
@@ -59,6 +61,8 @@ FILE fqName:<root> fileName:/localClassWithOverrides.kt
                 GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:aval type:kotlin.Int visibility:private [final]' type=kotlin.Int origin=null
                   receiver: GET_VAR '<this>: <root>.outer.Local declared in <root>.outer.Local.<get-aval>' type=<root>.outer.Local origin=null
         PROPERTY name:avar visibility:public modality:FINAL [var]
+          overridden:
+            public abstract avar: kotlin.Int [var]
           FIELD PROPERTY_BACKING_FIELD name:avar type:kotlin.Int visibility:private
             EXPRESSION_BODY
               CONST Int type=kotlin.Int value=2

compiler/testData/ir/irText/declarations/parameters/delegatedMembers.fir.txt

@@ -60,6 +60,8 @@ FILE fqName:<root> fileName:/delegatedMembers.kt
           t: GET_VAR 't: TT of <root>.Test declared in <root>.Test.qux' type=TT of <root>.Test origin=null
           x: GET_VAR 'x: X of <root>.Test.qux declared in <root>.Test.qux' type=X of <root>.Test.qux origin=null
     PROPERTY DELEGATED_MEMBER name:bar visibility:public modality:OPEN [val]
+      overridden:
+        public abstract bar: kotlin.Int [val]
       FUN DELEGATED_MEMBER name:<get-bar> visibility:public modality:OPEN <> ($this:<root>.Test<TT of <root>.Test>) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:bar visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/expressions/enumEntryAsReceiver.fir.txt

@@ -27,6 +27,8 @@ FILE fqName:<root> fileName:/enumEntryAsReceiver.kt
                 GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:value2 type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
                   receiver: GET_VAR '<this>: <root>.X.B declared in <root>.X.B.<get-value2>' type=<root>.X.B origin=null
         PROPERTY name:value visibility:public modality:FINAL [val]
+          overridden:
+            public abstract value: kotlin.Function0<kotlin.String> [val]
           FIELD PROPERTY_BACKING_FIELD name:value type:kotlin.Function0<kotlin.String> visibility:private [final]
             EXPRESSION_BODY
               FUN_EXPR type=kotlin.Function0<kotlin.String> origin=LAMBDA

compiler/testData/ir/irText/firProblems/AbstractMutableMap.fir.txt

@@ -20,6 +20,9 @@ FILE fqName:<root> fileName:/AbstractMutableMap.kt
         RETURN type=kotlin.Nothing from='public final fun put (key: K of <root>.MyMap, value: V of <root>.MyMap): V of <root>.MyMap? declared in <root>.MyMap'
           CONST Null type=kotlin.Nothing? value=null
     PROPERTY name:entries visibility:public modality:FINAL [val]
+      overridden:
+        public abstract entries: @[FlexibleNullability] kotlin.collections.Set<@[FlexibleNullability] kotlin.collections.Map.Entry<@[FlexibleNullability] K of kotlin.collections.AbstractMutableMap?, @[FlexibleNullability] V of kotlin.collections.AbstractMutableMap?>?>? [fake_override,val]
+        public abstract entries: @[FlexibleNullability] kotlin.collections.Set<@[FlexibleNullability] kotlin.collections.Map.Entry<@[FlexibleNullability] K of java.util.AbstractMap?, @[FlexibleNullability] V of java.util.AbstractMap?>?>? [val]
       FUN name:<get-entries> visibility:public modality:FINAL <> ($this:<root>.MyMap<K of <root>.MyMap, V of <root>.MyMap>) returnType:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K of <root>.MyMap, V of <root>.MyMap>>
         correspondingProperty: PROPERTY name:entries visibility:public modality:FINAL [val]
         overridden:

compiler/testData/ir/irText/firProblems/ArrayMap.fir.txt

@@ -61,6 +61,8 @@ FILE fqName:<root> fileName:/ArrayMap.kt
           <T>: kotlin.Nothing
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS OBJECT name:EmptyArrayMap modality:FINAL visibility:internal superTypes:[<root>.ArrayMap<kotlin.Nothing>]'
     PROPERTY name:size visibility:public modality:FINAL [val]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FUN name:<get-size> visibility:public modality:FINAL <> ($this:<root>.EmptyArrayMap) returnType:kotlin.Int
         correspondingProperty: PROPERTY name:size visibility:public modality:FINAL [val]
         overridden:
@@ -182,6 +184,8 @@ FILE fqName:<root> fileName:/ArrayMap.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:index type:kotlin.Int visibility:private [final]' type=kotlin.Int origin=null
               receiver: GET_VAR '<this>: <root>.OneElementArrayMap<T of <root>.OneElementArrayMap> declared in <root>.OneElementArrayMap.<get-index>' type=<root>.OneElementArrayMap<T of <root>.OneElementArrayMap> origin=null
     PROPERTY name:size visibility:public modality:FINAL [val]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FUN name:<get-size> visibility:public modality:FINAL <> ($this:<root>.OneElementArrayMap<T of <root>.OneElementArrayMap>) returnType:kotlin.Int
         correspondingProperty: PROPERTY name:size visibility:public modality:FINAL [val]
         overridden:
@@ -395,6 +399,8 @@ FILE fqName:<root> fileName:/ArrayMap.kt
             size: CALL 'private final fun <get-DEFAULT_SIZE> (): kotlin.Int declared in <root>.ArrayMapImpl.Companion' type=kotlin.Int origin=GET_PROPERTY
               $this: GET_OBJECT 'CLASS OBJECT name:Companion modality:FINAL visibility:public [companion] superTypes:[kotlin.Any]' type=<root>.ArrayMapImpl.Companion
     PROPERTY name:size visibility:public modality:FINAL [var]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FIELD PROPERTY_BACKING_FIELD name:size type:kotlin.Int visibility:private
         EXPRESSION_BODY
           CONST Int type=kotlin.Int value=0
@@ -681,6 +687,8 @@ FILE fqName:<root> fileName:/ArrayMap.kt
           DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
           INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Entry modality:FINAL visibility:public [data] superTypes:[kotlin.collections.Map.Entry<kotlin.Int, T of <root>.ArrayMapImpl.Entry>]'
       PROPERTY name:key visibility:public modality:FINAL [val]
+        overridden:
+          public abstract key: K of kotlin.collections.Map.Entry [val]
         FIELD PROPERTY_BACKING_FIELD name:key type:kotlin.Int visibility:private [final]
           EXPRESSION_BODY
             GET_VAR 'key: kotlin.Int declared in <root>.ArrayMapImpl.Entry.<init>' type=kotlin.Int origin=INITIALIZE_PROPERTY_FROM_PARAMETER
@@ -694,6 +702,8 @@ FILE fqName:<root> fileName:/ArrayMap.kt
               GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:key type:kotlin.Int visibility:private [final]' type=kotlin.Int origin=null
                 receiver: GET_VAR '<this>: <root>.ArrayMapImpl.Entry<T of <root>.ArrayMapImpl.Entry> declared in <root>.ArrayMapImpl.Entry.<get-key>' type=<root>.ArrayMapImpl.Entry<T of <root>.ArrayMapImpl.Entry> origin=null
       PROPERTY name:value visibility:public modality:FINAL [val]
+        overridden:
+          public abstract value: V of kotlin.collections.Map.Entry [val]
         FIELD PROPERTY_BACKING_FIELD name:value type:T of <root>.ArrayMapImpl.Entry visibility:private [final]
           EXPRESSION_BODY
             GET_VAR 'value: T of <root>.ArrayMapImpl.Entry declared in <root>.ArrayMapImpl.Entry.<init>' type=T of <root>.ArrayMapImpl.Entry origin=INITIALIZE_PROPERTY_FROM_PARAMETER

compiler/testData/ir/irText/firProblems/DelegationAndInheritanceFromJava.fir.txt

@@ -112,6 +112,9 @@ FILE fqName:<root> fileName:/DelegationAndInheritanceFromJava.kt
             $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:<root>.Foo.B visibility:local [final]' type=<root>.Foo.B origin=null
               receiver: GET_VAR '<this>: <root>.Impl declared in <root>.Impl.isEmpty' type=<root>.Impl origin=null
     PROPERTY DELEGATED_MEMBER name:size visibility:public modality:OPEN [val]
+      overridden:
+        public abstract size: kotlin.Int [fake_override,val]
+        public abstract size: kotlin.Int [fake_override,val]
       FUN DELEGATED_MEMBER name:<get-size> visibility:public modality:OPEN <> ($this:<root>.Impl) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:size visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/firProblems/Fir2IrClassifierStorage.fir.txt

@@ -61,6 +61,8 @@ FILE fqName:<root> fileName:/Fir2IrClassifierStorage.kt
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Fir2IrComponentsStorage modality:FINAL visibility:public superTypes:[<root>.Fir2IrComponents]'
     PROPERTY name:session visibility:public modality:FINAL [val]
+      overridden:
+        public abstract session: <root>.FirSession [val]
       FIELD PROPERTY_BACKING_FIELD name:session type:<root>.FirSession visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'session: <root>.FirSession declared in <root>.Fir2IrComponentsStorage.<init>' type=<root>.FirSession origin=INITIALIZE_PROPERTY_FROM_PARAMETER
@@ -74,6 +76,8 @@ FILE fqName:<root> fileName:/Fir2IrClassifierStorage.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:session type:<root>.FirSession visibility:private [final]' type=<root>.FirSession origin=null
               receiver: GET_VAR '<this>: <root>.Fir2IrComponentsStorage declared in <root>.Fir2IrComponentsStorage.<get-session>' type=<root>.Fir2IrComponentsStorage origin=null
     PROPERTY name:classifierStorage visibility:public modality:FINAL [lateinit,var]
+      overridden:
+        public abstract classifierStorage: <root>.Fir2IrClassifierStorage [val]
       FIELD PROPERTY_BACKING_FIELD name:classifierStorage type:<root>.Fir2IrClassifierStorage visibility:public
       FUN DEFAULT_PROPERTY_ACCESSOR name:<get-classifierStorage> visibility:public modality:FINAL <> ($this:<root>.Fir2IrComponentsStorage) returnType:<root>.Fir2IrClassifierStorage
         correspondingProperty: PROPERTY name:classifierStorage visibility:public modality:FINAL [lateinit,var]
@@ -113,6 +117,8 @@ FILE fqName:<root> fileName:/Fir2IrClassifierStorage.kt
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:Fir2IrClassifierStorage modality:FINAL visibility:public superTypes:[<root>.Fir2IrComponents]'
     PROPERTY DELEGATED_MEMBER name:session visibility:public modality:OPEN [val]
+      overridden:
+        public abstract session: <root>.FirSession [val]
       FUN DELEGATED_MEMBER name:<get-session> visibility:public modality:OPEN <> ($this:<root>.Fir2IrClassifierStorage) returnType:<root>.FirSession
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:session visibility:public modality:OPEN [val]
         overridden:
@@ -124,6 +130,8 @@ FILE fqName:<root> fileName:/Fir2IrClassifierStorage.kt
               $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:<root>.Fir2IrComponents visibility:local [final]' type=<root>.Fir2IrComponents origin=null
                 receiver: GET_VAR '<this>: <root>.Fir2IrClassifierStorage declared in <root>.Fir2IrClassifierStorage.<get-session>' type=<root>.Fir2IrClassifierStorage origin=null
     PROPERTY DELEGATED_MEMBER name:classifierStorage visibility:public modality:OPEN [val]
+      overridden:
+        public abstract classifierStorage: <root>.Fir2IrClassifierStorage [val]
       FUN DELEGATED_MEMBER name:<get-classifierStorage> visibility:public modality:OPEN <> ($this:<root>.Fir2IrClassifierStorage) returnType:<root>.Fir2IrClassifierStorage
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:classifierStorage visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.txt

@@ -71,6 +71,8 @@ FILE fqName:<root> fileName:/ImplicitReceiverStack.kt
             GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:boundSymbol type:S of <root>.ImplicitReceiverValue? visibility:private [final]' type=S of <root>.ImplicitReceiverValue? origin=null
               receiver: GET_VAR '<this>: <root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> declared in <root>.ImplicitReceiverValue.<get-boundSymbol>' type=<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> origin=null
     PROPERTY name:type visibility:public modality:FINAL [val]
+      overridden:
+        public abstract type: kotlin.String [val]
       FIELD PROPERTY_BACKING_FIELD name:type type:kotlin.String visibility:private [final]
         EXPRESSION_BODY
           GET_VAR 'type: kotlin.String declared in <root>.ImplicitReceiverValue.<init>' type=kotlin.String origin=INITIALIZE_PROPERTY_FROM_PARAMETER

compiler/testData/ir/irText/firProblems/candidateSymbol.fir.txt

@@ -106,6 +106,8 @@ FILE fqName:<root> fileName:/candidateSymbol.kt
     $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.FirCallableMemberDeclaration<F of <root>.FirCallableMemberDeclaration>
     TYPE_PARAMETER name:F index:0 variance: superTypes:[<root>.FirCallableMemberDeclaration<F of <root>.FirCallableMemberDeclaration>]
     PROPERTY name:symbol visibility:public modality:ABSTRACT [val]
+      overridden:
+        public abstract symbol: <root>.AbstractFirBasedSymbol<E of <root>.FirSymbolOwner> [val]
       FUN DEFAULT_PROPERTY_ACCESSOR name:<get-symbol> visibility:public modality:ABSTRACT <> ($this:<root>.FirCallableMemberDeclaration<F of <root>.FirCallableMemberDeclaration>) returnType:<root>.AbstractFirBasedSymbol<F of <root>.FirCallableMemberDeclaration>
         correspondingProperty: PROPERTY name:symbol visibility:public modality:ABSTRACT [val]
         overridden:

compiler/testData/ir/irText/firProblems/kt43342.fir.txt

@@ -67,6 +67,8 @@ FILE fqName:<root> fileName:/kt43342.kt
             $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> visibility:local [final]' type=kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
               receiver: GET_VAR '<this>: <root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> declared in <root>.ControlFlowInfo.isEmpty' type=<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
     PROPERTY DELEGATED_MEMBER name:entries visibility:public modality:OPEN [val]
+      overridden:
+        public abstract entries: kotlin.collections.Set<kotlin.collections.Map.Entry<K of kotlin.collections.Map, V of kotlin.collections.Map>> [val]
       FUN DELEGATED_MEMBER name:<get-entries> visibility:public modality:OPEN <> ($this:<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo>) returnType:kotlin.collections.Set<kotlin.collections.Map.Entry<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo>>
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:entries visibility:public modality:OPEN [val]
         overridden:
@@ -78,6 +80,8 @@ FILE fqName:<root> fileName:/kt43342.kt
               $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> visibility:local [final]' type=kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
                 receiver: GET_VAR '<this>: <root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> declared in <root>.ControlFlowInfo.<get-entries>' type=<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
     PROPERTY DELEGATED_MEMBER name:keys visibility:public modality:OPEN [val]
+      overridden:
+        public abstract keys: kotlin.collections.Set<K of kotlin.collections.Map> [val]
       FUN DELEGATED_MEMBER name:<get-keys> visibility:public modality:OPEN <> ($this:<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo>) returnType:kotlin.collections.Set<K of <root>.ControlFlowInfo>
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:keys visibility:public modality:OPEN [val]
         overridden:
@@ -89,6 +93,8 @@ FILE fqName:<root> fileName:/kt43342.kt
               $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> visibility:local [final]' type=kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
                 receiver: GET_VAR '<this>: <root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> declared in <root>.ControlFlowInfo.<get-keys>' type=<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
     PROPERTY DELEGATED_MEMBER name:size visibility:public modality:OPEN [val]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FUN DELEGATED_MEMBER name:<get-size> visibility:public modality:OPEN <> ($this:<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo>) returnType:kotlin.Int
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:size visibility:public modality:OPEN [val]
         overridden:
@@ -100,6 +106,8 @@ FILE fqName:<root> fileName:/kt43342.kt
               $this: GET_FIELD 'FIELD DELEGATE name:<$$delegate_0> type:kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> visibility:local [final]' type=kotlin.collections.Map<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
                 receiver: GET_VAR '<this>: <root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> declared in <root>.ControlFlowInfo.<get-size>' type=<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo> origin=null
     PROPERTY DELEGATED_MEMBER name:values visibility:public modality:OPEN [val]
+      overridden:
+        public abstract values: kotlin.collections.Collection<V of kotlin.collections.Map> [val]
       FUN DELEGATED_MEMBER name:<get-values> visibility:public modality:OPEN <> ($this:<root>.ControlFlowInfo<K of <root>.ControlFlowInfo, V of <root>.ControlFlowInfo>) returnType:kotlin.collections.Collection<V of <root>.ControlFlowInfo>
         correspondingProperty: PROPERTY DELEGATED_MEMBER name:values visibility:public modality:OPEN [val]
         overridden:

compiler/testData/ir/irText/firProblems/typeVariableAfterBuildMap.fir.txt

@@ -127,6 +127,8 @@ FILE fqName:<root> fileName:/typeVariableAfterBuildMap.kt
             isPublicAPI: CONST Boolean type=kotlin.Boolean value=false
           INSTANCE_INITIALIZER_CALL classDescriptor='CLASS OBJECT name:PrivateToThis modality:FINAL visibility:public superTypes:[<root>.Visibility]'
       PROPERTY name:internalDisplayName visibility:public modality:FINAL [val]
+        overridden:
+          public open internalDisplayName: kotlin.String [val]
         FUN name:<get-internalDisplayName> visibility:public modality:FINAL <> ($this:<root>.Visibilities.PrivateToThis) returnType:kotlin.String
           correspondingProperty: PROPERTY name:internalDisplayName visibility:public modality:FINAL [val]
           overridden:
@@ -450,6 +452,8 @@ FILE fqName:<root> fileName:/typeVariableAfterBuildMap.kt
           RETURN type=kotlin.Nothing from='public final fun mustCheckInImports (): kotlin.Boolean declared in <root>.Visibilities.InvisibleFake'
             CONST Boolean type=kotlin.Boolean value=true
       PROPERTY name:externalDisplayName visibility:public modality:FINAL [val]
+        overridden:
+          public open externalDisplayName: kotlin.String [val]
         FUN name:<get-externalDisplayName> visibility:public modality:FINAL <> ($this:<root>.Visibilities.InvisibleFake) returnType:kotlin.String
           correspondingProperty: PROPERTY name:externalDisplayName visibility:public modality:FINAL [val]
           overridden:

compiler/testData/ir/irText/regressions/kt45236.fir.txt

@@ -34,6 +34,8 @@ FILE fqName:<root> fileName:/kt45236.kt
               GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:error type:kotlin.Throwable visibility:private [final]' type=kotlin.Throwable origin=null
                 receiver: GET_VAR '<this>: <root>.NetRequestStatus.Error<T of <root>.NetRequestStatus.Error> declared in <root>.NetRequestStatus.Error.<get-error>' type=<root>.NetRequestStatus.Error<T of <root>.NetRequestStatus.Error> origin=null
       PROPERTY name:value visibility:public modality:FINAL [val]
+        overridden:
+          public abstract value: T of <root>.NetRequestStatus? [val]
         FIELD PROPERTY_BACKING_FIELD name:value type:T of <root>.NetRequestStatus.Error? visibility:private [final]
           EXPRESSION_BODY
             GET_VAR 'value: T of <root>.NetRequestStatus.Error? declared in <root>.NetRequestStatus.Error.<init>' type=T of <root>.NetRequestStatus.Error? origin=INITIALIZE_PROPERTY_FROM_PARAMETER

compiler/testData/ir/irText/stubs/genericClassInDifferentModule.fir.txt

@@ -79,6 +79,8 @@ FILE fqName:<root> fileName:/genericClassInDifferentModule_m2.kt
           CALL 'public final fun <get-x> (): T of <root>.Derived1 [fake_override] declared in <root>.Derived1' type=T of <root>.Derived1 origin=GET_PROPERTY
             $this: GET_VAR '<this>: <root>.Derived1<T of <root>.Derived1> declared in <root>.Derived1.foo' type=<root>.Derived1<T of <root>.Derived1> origin=null
     PROPERTY name:bar visibility:public modality:FINAL [var]
+      overridden:
+        public abstract bar: T of <root>.Base [var]
       FIELD PROPERTY_BACKING_FIELD name:bar type:T of <root>.Derived1 visibility:private
         EXPRESSION_BODY
           GET_VAR 'x: T of <root>.Derived1 declared in <root>.Derived1.<init>' type=T of <root>.Derived1 origin=null
@@ -102,6 +104,8 @@ FILE fqName:<root> fileName:/genericClassInDifferentModule_m2.kt
             receiver: GET_VAR '<this>: <root>.Derived1<T of <root>.Derived1> declared in <root>.Derived1.<set-bar>' type=<root>.Derived1<T of <root>.Derived1> origin=null
             value: GET_VAR '<set-?>: T of <root>.Derived1 declared in <root>.Derived1.<set-bar>' type=T of <root>.Derived1 origin=null
     PROPERTY name:exn visibility:public modality:FINAL [var]
+      overridden:
+        public abstract exn: T of <root>.Base [var]
       FUN name:<get-exn> visibility:public modality:FINAL <Z> ($this:<root>.Derived1<T of <root>.Derived1>, $receiver:Z of <root>.Derived1.<get-exn>) returnType:T of <root>.Derived1
         correspondingProperty: PROPERTY name:exn visibility:public modality:FINAL [var]
         overridden:

compiler/testData/ir/irText/types/nullChecks/implicitNotNullOnPlatformType.fir.txt

@@ -9,6 +9,8 @@ FILE fqName:<root> fileName:/implicitNotNullOnPlatformType.kt
         DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
         INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:MySet modality:FINAL visibility:public superTypes:[kotlin.collections.Set<kotlin.String>]'
     PROPERTY name:size visibility:public modality:FINAL [val]
+      overridden:
+        public abstract size: kotlin.Int [val]
       FUN name:<get-size> visibility:public modality:FINAL <> ($this:<root>.MySet) returnType:kotlin.Int
         correspondingProperty: PROPERTY name:size visibility:public modality:FINAL [val]
         overridden: