IR: IrSimpleFunction.correspondingProperty: IrProperty?

Non-null for a property accessor, points to a corresponding property.

compiler/testData/ir/irText/stubs/builtinMap__builtinsmodule.txt

@@ -78,21 +78,25 @@ MODULE_FRAGMENT name:<built-ins module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
         FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
           overridden:
             UNBOUND: fun <get-size>(): kotlin.Int
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<MutableEntry<K, V>> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:ABSTRACT flags:val
           overridden:
             UNBOUND: fun <get-entries>(): kotlin.collections.Set<kotlin.collections.Map.Entry<K, V>>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<K> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:ABSTRACT flags:val
           overridden:
             UNBOUND: fun <get-keys>(): kotlin.collections.Set<K>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableCollection<V> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:ABSTRACT flags:val
           overridden:
             UNBOUND: fun <get-values>(): kotlin.collections.Collection<V>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
@@ -107,11 +111,13 @@ MODULE_FRAGMENT name:<built-ins module>
           VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:newValue index:0 type:V flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
           FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
             overridden:
               UNBOUND: fun <get-key>(): K
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
           FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
             overridden:
               UNBOUND: fun <get-value>(): V
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:

compiler/testData/ir/irText/stubs/builtinMap__dependenciesoftestmodule.txt

@@ -149,6 +149,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K!, V!> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
         FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:OPEN <> ($this:java.util.HashMap<K!, V!>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:Int flags:
             FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
@@ -191,18 +192,21 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:p0 index:0 type:java.util.function.BiFunction<in K, in V, out V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:OPEN <> ($this:java.util.LinkedHashMap<K, V>) returnType:(kotlin.collections.MutableSet<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>..kotlin.collections.Set<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableSet<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>..kotlin.collections.Set<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<MutableEntry<K, V>> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:OPEN <> ($this:java.util.LinkedHashMap<K, V>) returnType:(kotlin.collections.MutableSet<(K..K?)>..kotlin.collections.Set<(K..K?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableSet<(K..K?)>..kotlin.collections.Set<(K..K?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<K> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:OPEN <> ($this:java.util.LinkedHashMap<K, V>) returnType:(kotlin.collections.MutableCollection<(V..V?)>..kotlin.collections.Collection<(V..V?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableCollection<(V..V?)>..kotlin.collections.Collection<(V..V?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableCollection<V> flags:
@@ -325,6 +329,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedEntrySet flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.LinkedHashMap<K, V>.LinkedEntrySet) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedEntrySet flags:
@@ -492,6 +497,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedKeySet flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.LinkedHashMap<K, V>.LinkedKeySet) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedKeySet flags:
@@ -654,6 +660,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedValues flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.LinkedHashMap<K, V>.LinkedValues) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.LinkedHashMap<K, V>.LinkedValues flags:
@@ -840,11 +847,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
           FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(K..K?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
             overridden:
               FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K, V>) returnType:(K..K?) flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
           FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(V..V?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
             overridden:
               FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K, V>) returnType:(V..V?) flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
@@ -1103,24 +1112,28 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:p0 index:0 type:java.util.function.BiFunction<in K, in V, out V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableSet<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>..kotlin.collections.Set<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableSet<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>..kotlin.collections.Set<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<MutableEntry<K, V>> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableSet<(K..K?)>..kotlin.collections.Set<(K..K?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableSet<(K..K?)>..kotlin.collections.Set<(K..K?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<K> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:Int flags:
             FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:OPEN <> ($this:java.util.HashMap<K, V>) returnType:(kotlin.collections.MutableCollection<(V..V?)>..kotlin.collections.Collection<(V..V?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableCollection<(V..V?)>..kotlin.collections.Collection<(V..V?)>?) flags:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableCollection<V> flags:
@@ -1405,11 +1418,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
           FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(K..K?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(K..K?) flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
           FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(V..V?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K!, V!>) returnType:(V..V?) flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K!, V!> flags:
@@ -1720,6 +1735,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.EntrySet flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.HashMap<K, V>.EntrySet) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.EntrySet flags:
@@ -1889,6 +1905,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.KeySet flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.HashMap<K, V>.KeySet) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.KeySet flags:
@@ -2053,6 +2070,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.Values flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:FINAL <> ($this:java.util.HashMap<K, V>.Values) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:FINAL flags:val
             overridden:
               UNBOUND: fun <get-size>(): kotlin.Int
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap<K, V>.Values flags:
@@ -2226,11 +2244,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K, V>) returnType:(K..K?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:FINAL flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:FINAL <> ($this:java.util.HashMap.Node<K, V>) returnType:(V..V?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:FINAL flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.HashMap.Node<K, V> flags:
@@ -2328,6 +2348,7 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K!, V!>> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableSet<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>..kotlin.collections.Set<(kotlin.collections.MutableMap.MutableEntry<(K..K?), (V..V?)>..kotlin.collections.Map.Entry<(K..K?), (V..V?)>?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K!, V!>> visibility:public modality:ABSTRACT flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<MutableEntry<K, V>> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
@@ -2354,11 +2375,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:newValue index:0 type:V! flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:OPEN flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:OPEN <> ($this:java.util.AbstractMap.SimpleEntry<K, V>) returnType:(K..K?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:OPEN flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap.SimpleEntry<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:OPEN flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:OPEN <> ($this:java.util.AbstractMap.SimpleEntry<K, V>) returnType:(V..V?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:OPEN flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap.SimpleEntry<K, V> flags:
@@ -2403,11 +2426,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:newValue index:0 type:V! flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:OPEN flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:OPEN <> ($this:java.util.AbstractMap.SimpleImmutableEntry<K, V>) returnType:(K..K?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K! visibility:public modality:OPEN flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap.SimpleImmutableEntry<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:OPEN flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:OPEN <> ($this:java.util.AbstractMap.SimpleImmutableEntry<K, V>) returnType:(V..V?) flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V! visibility:public modality:OPEN flags:val
             overridden:
               FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap.SimpleImmutableEntry<K, V> flags:
@@ -2537,16 +2562,19 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K!> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableSet<(K..K?)>..kotlin.collections.Set<(K..K?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K!> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<K> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:OPEN flags:val
           overridden:
             FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V!> visibility:public modality:OPEN flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:OPEN <> ($this:java.util.AbstractMap<K, V>) returnType:(kotlin.collections.MutableCollection<(V..V?)>..kotlin.collections.Collection<(V..V?)>?) flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V!> visibility:public modality:OPEN flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableCollection<V> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:java.util.AbstractMap<K, V> flags:
@@ -2581,15 +2609,19 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:key index:0 type:K flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.Set<kotlin.collections.Map.Entry<K, V>> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Set<Entry<K, V>> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.Set<kotlin.collections.Map.Entry<K, V>> visibility:public modality:ABSTRACT flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.Set<K> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Set<K> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.Set<K> visibility:public modality:ABSTRACT flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.Collection<V> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Collection<V> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.Collection<V> visibility:public modality:ABSTRACT flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       CLASS IR_EXTERNAL_DECLARATION_STUB INTERFACE name:Entry modality:ABSTRACT visibility:public flags:
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
@@ -2599,9 +2631,11 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         TYPE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:V index:1 variance:out upperBounds:[kotlin.Any?]
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
         FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:Boolean flags:
           overridden:
@@ -2681,21 +2715,25 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
         FUN FAKE_OVERRIDE name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:size type:kotlin.Int visibility:public modality:ABSTRACT flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-size> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Int flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<MutableEntry<K, V>> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:entries type:kotlin.collections.MutableSet<kotlin.collections.MutableMap.MutableEntry<K, V>> visibility:public modality:ABSTRACT flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-entries> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Set<Entry<K, V>> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableSet<K> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:keys type:kotlin.collections.MutableSet<K> visibility:public modality:ABSTRACT flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-keys> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Set<K> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:ABSTRACT flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.MutableMap<K, V>) returnType:MutableCollection<V> flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:values type:kotlin.collections.MutableCollection<V> visibility:public modality:ABSTRACT flags:val
           overridden:
             FUN IR_EXTERNAL_DECLARATION_STUB name:<get-values> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map<K, V>) returnType:Collection<V> flags:
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.MutableMap<K, V> flags:
@@ -2710,11 +2748,13 @@ MODULE_FRAGMENT name:<dependencies of test-module>
           VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:newValue index:0 type:V flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
           FUN FAKE_OVERRIDE name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:key type:K visibility:public modality:ABSTRACT flags:val
             overridden:
               FUN IR_EXTERNAL_DECLARATION_STUB name:<get-key> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:K flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
           FUN FAKE_OVERRIDE name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:value type:V visibility:public modality:ABSTRACT flags:val
             overridden:
               FUN IR_EXTERNAL_DECLARATION_STUB name:<get-value> visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Map.Entry<K, V>) returnType:V flags:
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.collections.Map.Entry<K, V> flags:
@@ -2811,9 +2851,11 @@ MODULE_FRAGMENT name:<dependencies of test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Pair<A, B> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:first type:A visibility:public modality:FINAL flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-first> visibility:public modality:FINAL <> ($this:kotlin.Pair<A, B>) returnType:A flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:first type:A visibility:public modality:FINAL flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Pair<A, B> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:second type:B visibility:public modality:FINAL flags:val
         FUN IR_EXTERNAL_DECLARATION_STUB name:<get-second> visibility:public modality:FINAL <> ($this:kotlin.Pair<A, B>) returnType:B flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:second type:B visibility:public modality:FINAL flags:val
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Pair<A, B> flags:
       FUN IR_EXTERNAL_DECLARATION_STUB name:equals visibility:public modality:OPEN <> ($this:kotlin.Pair<A, B>, other:kotlin.Any?) returnType:Boolean flags:
         overridden:

compiler/testData/ir/irText/stubs/javaEnum.txt

@@ -4,6 +4,7 @@ FILE fqName:<root> fileName:/javaEnum.kt
       EXPRESSION_BODY
         GET_ENUM 'ONE' type=JEnum
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test> visibility:public modality:FINAL <> () returnType:JEnum flags:
+      correspondingProperty: PROPERTY name:test type:JEnum visibility:public modality:FINAL flags:val
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='<get-test>(): JEnum'
           GET_FIELD 'test: JEnum' type=JEnum origin=null

compiler/testData/ir/irText/stubs/javaEnum__testmodule.txt

@@ -36,11 +36,13 @@ MODULE_FRAGMENT name:<test-module>
         $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Enum<JEnum!> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:name type:kotlin.String visibility:public modality:FINAL flags:val
         FUN FAKE_OVERRIDE name:<get-name> visibility:public modality:FINAL <> ($this:kotlin.Enum<JEnum!>) returnType:String flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:name type:kotlin.String visibility:public modality:FINAL flags:val
           overridden:
             UNBOUND: fun <get-name>(): kotlin.String
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Enum<JEnum!> flags:
       PROPERTY IR_EXTERNAL_DECLARATION_STUB name:ordinal type:kotlin.Int visibility:public modality:FINAL flags:val
         FUN FAKE_OVERRIDE name:<get-ordinal> visibility:public modality:FINAL <> ($this:kotlin.Enum<JEnum!>) returnType:Int flags:
+          correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:ordinal type:kotlin.Int visibility:public modality:FINAL flags:val
           overridden:
             UNBOUND: fun <get-ordinal>(): kotlin.Int
           $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Enum<JEnum!> flags:

compiler/testData/ir/irText/stubs/javaInnerClass.txt

@@ -13,6 +13,7 @@ FILE fqName:<root> fileName:/javaInnerClass.kt
           CALL 'constructor JInner()' type=J.JInner origin=null
             $this: GET_VAR 'this@Test1: Test1' type=Test1 origin=null
       FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test> visibility:public modality:FINAL <> ($this:Test1) returnType:JInner flags:
+        correspondingProperty: PROPERTY name:test type:J.JInner visibility:public modality:FINAL flags:val
         $this: VALUE_PARAMETER name:<this> type:Test1 flags:
         BLOCK_BODY
           RETURN type=kotlin.Nothing from='<get-test>(): J.JInner'

compiler/testData/ir/irText/stubs/simple.txt

@@ -6,6 +6,7 @@ FILE fqName:<root> fileName:/simple.kt
           $this: CONST Int type=kotlin.Int value=2
           other: CONST Int type=kotlin.Int value=2
     FUN DEFAULT_PROPERTY_ACCESSOR name:<get-test> visibility:public modality:FINAL <> () returnType:Int flags:
+      correspondingProperty: PROPERTY name:test type:kotlin.Int visibility:public modality:FINAL flags:val
       BLOCK_BODY
         RETURN type=kotlin.Nothing from='<get-test>(): Int'
           GET_FIELD 'test: Int' type=kotlin.Int origin=null

compiler/testData/ir/irText/stubs/simple__builtinsmodule.txt

@@ -50,9 +50,11 @@ MODULE_FRAGMENT name:<built-ins module>
         CONSTRUCTOR IR_EXTERNAL_DECLARATION_STUB visibility:private <> () returnType:kotlin.Int.Companion flags:primary
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:MAX_VALUE type:kotlin.Int visibility:public modality:FINAL flags:const,val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-MAX_VALUE> visibility:public modality:FINAL <> ($this:kotlin.Int.Companion) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:MAX_VALUE type:kotlin.Int visibility:public modality:FINAL flags:const,val
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Int.Companion flags:
         PROPERTY IR_EXTERNAL_DECLARATION_STUB name:MIN_VALUE type:kotlin.Int visibility:public modality:FINAL flags:const,val
           FUN IR_EXTERNAL_DECLARATION_STUB name:<get-MIN_VALUE> visibility:public modality:FINAL <> ($this:kotlin.Int.Companion) returnType:Int flags:
+            correspondingProperty: PROPERTY IR_EXTERNAL_DECLARATION_STUB name:MIN_VALUE type:kotlin.Int visibility:public modality:FINAL flags:const,val
             $this: VALUE_PARAMETER IR_EXTERNAL_DECLARATION_STUB name:<this> type:kotlin.Int.Companion flags:
         FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:Boolean flags:
           overridden: