diff --git a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
index 7f13a2d4ae3..a6d9d2f26b7 100644
--- a/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
+++ b/compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
@@ -1812,6 +1812,11 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
             runTest("compiler/testData/ir/irText/firProblems/FirBuilder.kt");
         }
 
+        @TestMetadata("ImplicitReceiverStack.kt")
+        public void testImplicitReceiverStack() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt");
+        }
+
         @TestMetadata("inapplicableCollectionSet.kt")
         public void testInapplicableCollectionSet() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/inapplicableCollectionSet.kt");
diff --git a/compiler/fir/jvm/src/org/jetbrains/kotlin/fir/scopes/jvm/JvmMappedScope.kt b/compiler/fir/jvm/src/org/jetbrains/kotlin/fir/scopes/jvm/JvmMappedScope.kt
index 141be33094d..fa4a240654d 100644
--- a/compiler/fir/jvm/src/org/jetbrains/kotlin/fir/scopes/jvm/JvmMappedScope.kt
+++ b/compiler/fir/jvm/src/org/jetbrains/kotlin/fir/scopes/jvm/JvmMappedScope.kt
@@ -76,7 +76,7 @@ class JvmMappedScope(
     }
 
     override fun getCallableNames(): Set<Name> {
-        return declaredMemberScope.getContainingCallableNamesIfPresent()
+        return declaredMemberScope.getContainingCallableNamesIfPresent() + signatures.visibleMethodSignaturesByName.keys
     }
 
     override fun getClassifierNames(): Set<Name> {
diff --git a/compiler/testData/ir/irText/firProblems/AbstractMutableMap.fir.txt b/compiler/testData/ir/irText/firProblems/AbstractMutableMap.fir.txt
index 88468b10bc9..53ef0b5e355 100644
--- a/compiler/testData/ir/irText/firProblems/AbstractMutableMap.fir.txt
+++ b/compiler/testData/ir/irText/firProblems/AbstractMutableMap.fir.txt
@@ -65,6 +65,55 @@ FILE fqName:<root> fileName:/AbstractMutableMap.kt
         overridden:
           public abstract fun <get-values> (): kotlin.collections.MutableCollection<V of kotlin.collections.MutableMap> declared in kotlin.collections.MutableMap
         $this: VALUE_PARAMETER name:<this> type:kotlin.collections.MutableMap<K of kotlin.collections.MutableMap, V of kotlin.collections.MutableMap>
+    FUN FAKE_OVERRIDE name:replaceAll visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun replaceAll (p0: @[FlexibleNullability] java.util.function.BiFunction<in K of java.util.Map?, in V of java.util.Map?, out V of java.util.Map?>): kotlin.Unit declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>
+    FUN FAKE_OVERRIDE name:merge visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:V of <root>.MyMap, p2:@[FlexibleNullability] java.util.function.BiFunction<in V of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>) returnType:V of <root>.MyMap? [fake_override]
+      overridden:
+        public open fun merge (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] V of java.util.Map, p2: @[FlexibleNullability] java.util.function.BiFunction<in V of java.util.Map?, in V of java.util.Map?, out V of java.util.Map?>): @[FlexibleNullability] V of java.util.Map? declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:V of <root>.MyMap
+      VALUE_PARAMETER name:p2 index:2 type:@[FlexibleNullability] java.util.function.BiFunction<in V of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>
+    FUN FAKE_OVERRIDE name:computeIfPresent visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>) returnType:V of <root>.MyMap? [fake_override]
+      overridden:
+        public open fun computeIfPresent (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] java.util.function.BiFunction<in K of java.util.Map?, in V of java.util.Map?, out V of java.util.Map?>): @[FlexibleNullability] V of java.util.Map? declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>
+    FUN FAKE_OVERRIDE name:putIfAbsent visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:V of <root>.MyMap) returnType:V of <root>.MyMap? [fake_override]
+      overridden:
+        public open fun putIfAbsent (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] V of java.util.Map): @[FlexibleNullability] V of java.util.Map? declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:V of <root>.MyMap
+    FUN FAKE_OVERRIDE name:replace visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap?, p1:V of <root>.MyMap?, p2:V of <root>.MyMap?) returnType:kotlin.Boolean [fake_override]
+      overridden:
+        public open fun replace (p0: K of java.util.Map?, p1: V of java.util.Map?, p2: V of java.util.Map?): kotlin.Boolean declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap?
+      VALUE_PARAMETER name:p1 index:1 type:V of <root>.MyMap?
+      VALUE_PARAMETER name:p2 index:2 type:V of <root>.MyMap?
+    FUN FAKE_OVERRIDE name:replace visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:V of <root>.MyMap) returnType:V of <root>.MyMap? [fake_override]
+      overridden:
+        public open fun replace (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] V of java.util.Map): @[FlexibleNullability] V of java.util.Map? declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:V of <root>.MyMap
+    FUN FAKE_OVERRIDE name:computeIfAbsent visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:@[FlexibleNullability] java.util.function.Function<in K of <root>.MyMap?, out V of <root>.MyMap?>) returnType:V of <root>.MyMap [fake_override]
+      overridden:
+        public open fun computeIfAbsent (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] java.util.function.Function<in K of java.util.Map?, out V of java.util.Map?>): @[FlexibleNullability] V of java.util.Map declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:@[FlexibleNullability] java.util.function.Function<in K of <root>.MyMap?, out V of <root>.MyMap?>
+    FUN FAKE_OVERRIDE name:compute visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:K of <root>.MyMap, p1:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>) returnType:V of <root>.MyMap? [fake_override]
+      overridden:
+        public open fun compute (p0: @[FlexibleNullability] K of java.util.Map, p1: @[FlexibleNullability] java.util.function.BiFunction<in K of java.util.Map?, in V of java.util.Map?, out V of java.util.Map?>): @[FlexibleNullability] V of java.util.Map? declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:K of <root>.MyMap
+      VALUE_PARAMETER name:p1 index:1 type:@[FlexibleNullability] java.util.function.BiFunction<in K of <root>.MyMap?, in V of <root>.MyMap?, out V of <root>.MyMap?>
     FUN FAKE_OVERRIDE name:containsKey visibility:public modality:OPEN <> ($this:kotlin.collections.Map<K of kotlin.collections.Map, V of kotlin.collections.Map>, key:K of <root>.MyMap) returnType:kotlin.Boolean [fake_override]
       overridden:
         public abstract fun containsKey (key: K of kotlin.collections.Map): kotlin.Boolean declared in kotlin.collections.Map
@@ -101,6 +150,11 @@ FILE fqName:<root> fileName:/AbstractMutableMap.kt
         overridden:
           public abstract fun <get-size> (): kotlin.Int declared in kotlin.collections.Map
         $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Map<K of kotlin.collections.Map, V of kotlin.collections.Map>
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.util.Map<K of java.util.Map, V of java.util.Map>, p0:@[FlexibleNullability] java.util.function.BiConsumer<in K of <root>.MyMap?, in V of <root>.MyMap?>) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: @[FlexibleNullability] java.util.function.BiConsumer<in K of java.util.Map?, in V of java.util.Map?>): kotlin.Unit declared in java.util.Map
+      $this: VALUE_PARAMETER name:<this> type:java.util.Map<K of java.util.Map, V of java.util.Map>
+      VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.BiConsumer<in K of <root>.MyMap?, in V of <root>.MyMap?>
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
diff --git a/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.kt.txt b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.kt.txt
new file mode 100644
index 00000000000..31d5a81df78
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.kt.txt
@@ -0,0 +1,85 @@
+interface SymbolOwner<E : SymbolOwner<E>> {
+
+}
+
+interface Symbol<E : SymbolOwner<E>> {
+
+}
+
+interface ReceiverValue {
+  abstract val type: String
+    abstract get
+
+}
+
+class ImplicitReceiverValue<S : Symbol<*>> : ReceiverValue {
+  constructor(boundSymbol: S?, type: String) /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  val boundSymbol: S?
+    field = boundSymbol
+    get
+
+  override val type: String
+    field = type
+    override get
+
+}
+
+abstract class ImplicitReceiverStack : Iterable<ImplicitReceiverValue<*>> {
+  constructor() /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  abstract operator fun get(name: String?): ImplicitReceiverValue<*>?
+
+}
+
+class PersistentImplicitReceiverStack : ImplicitReceiverStack, Iterable<ImplicitReceiverValue<*>> {
+  constructor(stack: List<ImplicitReceiverValue<*>>) /* primary */ {
+    super/*ImplicitReceiverStack*/()
+    /* <init>() */
+
+  }
+
+  private val stack: List<ImplicitReceiverValue<*>>
+    field = stack
+    private get
+
+  override operator fun iterator(): Iterator<ImplicitReceiverValue<*>> {
+    return <this>.<get-stack>().iterator()
+  }
+
+  override operator fun get(name: String?): ImplicitReceiverValue<*>? {
+    return <this>.<get-stack>().lastOrNull<ImplicitReceiverValue<*>>()
+  }
+
+}
+
+fun bar(s: String) {
+}
+
+fun foo(stack: PersistentImplicitReceiverStack) {
+  stack.forEach<ImplicitReceiverValue<*>>(action = local fun <anonymous>(it: ImplicitReceiverValue<*>) {
+    it.<get-boundSymbol>() /*~> Unit */
+    bar(s = it.<get-type>())
+  }
+)
+}
+
+fun box(): String {
+  val stack: PersistentImplicitReceiverStack = PersistentImplicitReceiverStack(stack = listOf<ImplicitReceiverValue<Nothing>>(elements = [ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "O"), ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "K")]))
+  foo(stack = stack)
+  return stack.first<ImplicitReceiverValue<*>>().<get-type>().plus(other = { // BLOCK
+    val tmp0_safe_receiver: ImplicitReceiverValue<*>? = stack.get(name = null)
+    when {
+      EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
+      else -> tmp0_safe_receiver.<get-type>()
+    }
+  })
+}
diff --git a/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.txt b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.txt
new file mode 100644
index 00000000000..3be1f4a8686
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.fir.txt
@@ -0,0 +1,252 @@
+FILE fqName:<root> fileName:/ImplicitReceiverStack.kt
+  CLASS INTERFACE name:SymbolOwner modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.SymbolOwner<E of <root>.SymbolOwner>
+    TYPE_PARAMETER name:E index:0 variance: superTypes:[<root>.SymbolOwner<E of <root>.SymbolOwner>]
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:Symbol modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Symbol<E of <root>.Symbol>
+    TYPE_PARAMETER name:E index:0 variance: superTypes:[<root>.SymbolOwner<E of <root>.Symbol>]
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:ReceiverValue modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ReceiverValue
+    PROPERTY name:type visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-type> visibility:public modality:ABSTRACT <> ($this:<root>.ReceiverValue) returnType:kotlin.String
+        correspondingProperty: PROPERTY name:type visibility:public modality:ABSTRACT [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.ReceiverValue
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:ImplicitReceiverValue modality:FINAL visibility:public superTypes:[<root>.ReceiverValue]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+    TYPE_PARAMETER name:S index:0 variance: superTypes:[<root>.Symbol<*>]
+    CONSTRUCTOR visibility:public <> (boundSymbol:S of <root>.ImplicitReceiverValue?, type:kotlin.String) returnType:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> [primary]
+      VALUE_PARAMETER name:boundSymbol index:0 type:S of <root>.ImplicitReceiverValue?
+      VALUE_PARAMETER name:type index:1 type:kotlin.String
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:ImplicitReceiverValue modality:FINAL visibility:public superTypes:[<root>.ReceiverValue]'
+    PROPERTY name:boundSymbol visibility:public modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:boundSymbol type:S of <root>.ImplicitReceiverValue? visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'boundSymbol: S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue.<init>' type=S of <root>.ImplicitReceiverValue? origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-boundSymbol> visibility:public modality:FINAL <> ($this:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>) returnType:S of <root>.ImplicitReceiverValue?
+        correspondingProperty: PROPERTY name:boundSymbol visibility:public modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public final fun <get-boundSymbol> (): S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue'
+            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]
+      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
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-type> visibility:public modality:FINAL <> ($this:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>) returnType:kotlin.String
+        correspondingProperty: PROPERTY name:type visibility:public modality:FINAL [val]
+        overridden:
+          public abstract fun <get-type> (): kotlin.String declared in <root>.ReceiverValue
+        $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public final fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:type type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
+              receiver: GET_VAR '<this>: <root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> declared in <root>.ImplicitReceiverValue.<get-type>' type=<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> origin=null
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:ImplicitReceiverStack modality:ABSTRACT visibility:public superTypes:[kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ImplicitReceiverStack
+    CONSTRUCTOR visibility:public <> () returnType:<root>.ImplicitReceiverStack [primary]
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:ImplicitReceiverStack modality:ABSTRACT visibility:public superTypes:[kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]'
+    FUN name:get visibility:public modality:ABSTRACT <> ($this:<root>.ImplicitReceiverStack, name:kotlin.String?) returnType:<root>.ImplicitReceiverValue<*>? [operator]
+      $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverStack
+      VALUE_PARAMETER name:name index:0 type:kotlin.String?
+    FUN FAKE_OVERRIDE name:iterator visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Iterable<T of kotlin.collections.Iterable>) returnType:kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [fake_override,operator]
+      overridden:
+        public abstract fun iterator (): kotlin.collections.Iterator<T of kotlin.collections.Iterable> [operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<T of kotlin.collections.Iterable>
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.ImplicitReceiverValue<*>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: java.util.function.Consumer<in T of java.lang.Iterable?>?): kotlin.Unit declared in java.lang.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.ImplicitReceiverValue<*>?>?
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.ImplicitReceiverValue<*>?> [fake_override]
+      overridden:
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<T of java.lang.Iterable?> declared in java.lang.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:PersistentImplicitReceiverStack modality:FINAL visibility:public superTypes:[<root>.ImplicitReceiverStack; kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.PersistentImplicitReceiverStack
+    CONSTRUCTOR visibility:public <> (stack:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>) returnType:<root>.PersistentImplicitReceiverStack [primary]
+      VALUE_PARAMETER name:stack index:0 type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.ImplicitReceiverStack'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:PersistentImplicitReceiverStack modality:FINAL visibility:public superTypes:[<root>.ImplicitReceiverStack; kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]'
+    PROPERTY name:stack visibility:private modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:stack type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>> visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'stack: kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack.<init>' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-stack> visibility:private modality:FINAL <> ($this:<root>.PersistentImplicitReceiverStack) returnType:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>
+        correspondingProperty: PROPERTY name:stack visibility:private modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:stack type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>> visibility:private [final]' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=null
+              receiver: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.<get-stack>' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN name:iterator visibility:public modality:FINAL <> ($this:<root>.PersistentImplicitReceiverStack) returnType:kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [operator]
+      overridden:
+        public abstract fun iterator (): kotlin.collections.Iterator<T of kotlin.collections.Iterable> [operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public final fun iterator (): kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [operator] declared in <root>.PersistentImplicitReceiverStack'
+          CALL 'public abstract fun iterator (): kotlin.collections.Iterator<E of kotlin.collections.List> [operator] declared in kotlin.collections.List' type=kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> origin=null
+            $this: CALL 'private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=GET_PROPERTY
+              $this: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.iterator' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN name:get visibility:public modality:FINAL <> ($this:<root>.PersistentImplicitReceiverStack, name:kotlin.String?) returnType:<root>.ImplicitReceiverValue<*>? [operator]
+      overridden:
+        public abstract fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.ImplicitReceiverStack
+      $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+      VALUE_PARAMETER name:name index:0 type:kotlin.String?
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public final fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.PersistentImplicitReceiverStack'
+          CALL 'public final fun lastOrNull <T> (): T of kotlin.collections.lastOrNull? declared in kotlin.collections' type=<root>.ImplicitReceiverValue<*>? origin=null
+            <T>: <root>.ImplicitReceiverValue<*>
+            $receiver: CALL 'private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=GET_PROPERTY
+              $this: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.get' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.ImplicitReceiverValue<*>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: java.util.function.Consumer<in <root>.ImplicitReceiverValue<*>?>?): kotlin.Unit [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun forEach (p0: java.util.function.Consumer<in T of kotlin.collections.Iterable?>?): kotlin.Unit declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.ImplicitReceiverValue<*>?>?
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.ImplicitReceiverValue<*>?> [fake_override]
+      overridden:
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<<root>.ImplicitReceiverValue<*>?> [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<T of kotlin.collections.Iterable?> declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  FUN name:bar visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit
+    VALUE_PARAMETER name:s index:0 type:kotlin.String
+    BLOCK_BODY
+  FUN name:foo visibility:public modality:FINAL <> (stack:<root>.PersistentImplicitReceiverStack) returnType:kotlin.Unit
+    VALUE_PARAMETER name:stack index:0 type:<root>.PersistentImplicitReceiverStack
+    BLOCK_BODY
+      CALL 'public final fun forEach <T> (action: kotlin.Function1<T of kotlin.collections.forEach, kotlin.Unit>): kotlin.Unit [inline] declared in kotlin.collections' type=kotlin.Unit origin=null
+        <T>: <root>.ImplicitReceiverValue<*>
+        $receiver: GET_VAR 'stack: <root>.PersistentImplicitReceiverStack declared in <root>.foo' type=<root>.PersistentImplicitReceiverStack origin=null
+        action: FUN_EXPR type=kotlin.Function1<<root>.ImplicitReceiverValue<*>, kotlin.Unit> origin=LAMBDA
+          FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.ImplicitReceiverValue<*>) returnType:kotlin.Unit
+            VALUE_PARAMETER name:it index:0 type:<root>.ImplicitReceiverValue<*>
+            BLOCK_BODY
+              TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
+                CALL 'public final fun <get-boundSymbol> (): S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue' type=<root>.Symbol<*>? origin=GET_PROPERTY
+                  $this: GET_VAR 'it: <root>.ImplicitReceiverValue<*> declared in <root>.foo.<anonymous>' type=<root>.ImplicitReceiverValue<*> origin=null
+              CALL 'public final fun bar (s: kotlin.String): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+                s: CALL 'public final fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+                  $this: GET_VAR 'it: <root>.ImplicitReceiverValue<*> declared in <root>.foo.<anonymous>' type=<root>.ImplicitReceiverValue<*> origin=null
+  FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
+    BLOCK_BODY
+      VAR name:stack type:<root>.PersistentImplicitReceiverStack [val]
+        CONSTRUCTOR_CALL 'public constructor <init> (stack: kotlin.collections.List<<root>.ImplicitReceiverValue<*>>) [primary] declared in <root>.PersistentImplicitReceiverStack' type=<root>.PersistentImplicitReceiverStack origin=null
+          stack: CALL 'public final fun listOf <T> (vararg elements: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<<root>.ImplicitReceiverValue<kotlin.Nothing>> origin=null
+            <T>: <root>.ImplicitReceiverValue<kotlin.Nothing>
+            elements: VARARG type=kotlin.Array<out <root>.ImplicitReceiverValue<kotlin.Nothing>> varargElementType=<root>.ImplicitReceiverValue<kotlin.Nothing>
+              CONSTRUCTOR_CALL 'public constructor <init> (boundSymbol: S of <root>.ImplicitReceiverValue?, type: kotlin.String) [primary] declared in <root>.ImplicitReceiverValue' type=<root>.ImplicitReceiverValue<kotlin.Nothing> origin=null
+                <class: S>: kotlin.Nothing
+                boundSymbol: CONST Null type=kotlin.Nothing? value=null
+                type: CONST String type=kotlin.String value="O"
+              CONSTRUCTOR_CALL 'public constructor <init> (boundSymbol: S of <root>.ImplicitReceiverValue?, type: kotlin.String) [primary] declared in <root>.ImplicitReceiverValue' type=<root>.ImplicitReceiverValue<kotlin.Nothing> origin=null
+                <class: S>: kotlin.Nothing
+                boundSymbol: CONST Null type=kotlin.Nothing? value=null
+                type: CONST String type=kotlin.String value="K"
+      CALL 'public final fun foo (stack: <root>.PersistentImplicitReceiverStack): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+        stack: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+      RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
+        CALL 'public final fun plus (other: kotlin.Any?): kotlin.String [operator] declared in kotlin.String' type=kotlin.String origin=PLUS
+          $this: CALL 'public final fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+            $this: CALL 'public final fun first <T> (): T of kotlin.collections.first declared in kotlin.collections' type=<root>.ImplicitReceiverValue<*> origin=null
+              <T>: <root>.ImplicitReceiverValue<*>
+              $receiver: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+          other: BLOCK type=kotlin.String? origin=SAFE_CALL
+            VAR IR_TEMPORARY_VARIABLE name:tmp_0 type:<root>.ImplicitReceiverValue<*>? [val]
+              CALL 'public final fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.PersistentImplicitReceiverStack' type=<root>.ImplicitReceiverValue<*>? origin=null
+                $this: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+                name: CONST Null type=kotlin.Nothing? value=null
+            WHEN type=kotlin.String? origin=null
+              BRANCH
+                if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
+                  arg0: GET_VAR 'val tmp_0: <root>.ImplicitReceiverValue<*>? [val] declared in <root>.box' type=<root>.ImplicitReceiverValue<*>? origin=null
+                  arg1: CONST Null type=kotlin.Nothing? value=null
+                then: CONST Null type=kotlin.Nothing? value=null
+              BRANCH
+                if: CONST Boolean type=kotlin.Boolean value=true
+                then: CALL 'public final fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+                  $this: GET_VAR 'val tmp_0: <root>.ImplicitReceiverValue<*>? [val] declared in <root>.box' type=<root>.ImplicitReceiverValue<*>? origin=null
diff --git a/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt
new file mode 100644
index 00000000000..15b59886069
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt
@@ -0,0 +1,46 @@
+// WITH_RUNTIME
+// FULL_JDK
+// JVM_TARGET: 1.8
+
+interface SymbolOwner<E : SymbolOwner<E>>
+
+interface Symbol<E : SymbolOwner<E>>
+
+interface ReceiverValue {
+    val type: String
+}
+
+class ImplicitReceiverValue<S : Symbol<*>>(val boundSymbol: S?, override val type: String) : ReceiverValue
+
+abstract class ImplicitReceiverStack : Iterable<ImplicitReceiverValue<*>> {
+    abstract operator fun get(name: String?): ImplicitReceiverValue<*>?
+}
+
+class PersistentImplicitReceiverStack(
+    private val stack: List<ImplicitReceiverValue<*>>
+) : ImplicitReceiverStack(), Iterable<ImplicitReceiverValue<*>> {
+    override operator fun iterator(): Iterator<ImplicitReceiverValue<*>> {
+        return stack.iterator()
+    }
+
+    override operator fun get(name: String?): ImplicitReceiverValue<*>? {
+        return stack.lastOrNull()
+    }
+}
+
+fun bar(s: String) {}
+
+fun foo(stack: PersistentImplicitReceiverStack) {
+    stack.forEach {
+        it.boundSymbol
+        bar(it.type)
+    }
+}
+
+fun box(): String {
+    val stack = PersistentImplicitReceiverStack(
+        listOf(ImplicitReceiverValue(null, "O"), ImplicitReceiverValue(null, "K"))
+    )
+    foo(stack)
+    return stack.first().type + stack[null]?.type
+}
diff --git a/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt.txt b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt.txt
new file mode 100644
index 00000000000..31d5a81df78
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt.txt
@@ -0,0 +1,85 @@
+interface SymbolOwner<E : SymbolOwner<E>> {
+
+}
+
+interface Symbol<E : SymbolOwner<E>> {
+
+}
+
+interface ReceiverValue {
+  abstract val type: String
+    abstract get
+
+}
+
+class ImplicitReceiverValue<S : Symbol<*>> : ReceiverValue {
+  constructor(boundSymbol: S?, type: String) /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  val boundSymbol: S?
+    field = boundSymbol
+    get
+
+  override val type: String
+    field = type
+    override get
+
+}
+
+abstract class ImplicitReceiverStack : Iterable<ImplicitReceiverValue<*>> {
+  constructor() /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  abstract operator fun get(name: String?): ImplicitReceiverValue<*>?
+
+}
+
+class PersistentImplicitReceiverStack : ImplicitReceiverStack, Iterable<ImplicitReceiverValue<*>> {
+  constructor(stack: List<ImplicitReceiverValue<*>>) /* primary */ {
+    super/*ImplicitReceiverStack*/()
+    /* <init>() */
+
+  }
+
+  private val stack: List<ImplicitReceiverValue<*>>
+    field = stack
+    private get
+
+  override operator fun iterator(): Iterator<ImplicitReceiverValue<*>> {
+    return <this>.<get-stack>().iterator()
+  }
+
+  override operator fun get(name: String?): ImplicitReceiverValue<*>? {
+    return <this>.<get-stack>().lastOrNull<ImplicitReceiverValue<*>>()
+  }
+
+}
+
+fun bar(s: String) {
+}
+
+fun foo(stack: PersistentImplicitReceiverStack) {
+  stack.forEach<ImplicitReceiverValue<*>>(action = local fun <anonymous>(it: ImplicitReceiverValue<*>) {
+    it.<get-boundSymbol>() /*~> Unit */
+    bar(s = it.<get-type>())
+  }
+)
+}
+
+fun box(): String {
+  val stack: PersistentImplicitReceiverStack = PersistentImplicitReceiverStack(stack = listOf<ImplicitReceiverValue<Nothing>>(elements = [ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "O"), ImplicitReceiverValue<Nothing>(boundSymbol = null, type = "K")]))
+  foo(stack = stack)
+  return stack.first<ImplicitReceiverValue<*>>().<get-type>().plus(other = { // BLOCK
+    val tmp0_safe_receiver: ImplicitReceiverValue<*>? = stack.get(name = null)
+    when {
+      EQEQ(arg0 = tmp0_safe_receiver, arg1 = null) -> null
+      else -> tmp0_safe_receiver.<get-type>()
+    }
+  })
+}
diff --git a/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.txt b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.txt
new file mode 100644
index 00000000000..2b363bfc8a8
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.txt
@@ -0,0 +1,256 @@
+FILE fqName:<root> fileName:/ImplicitReceiverStack.kt
+  CLASS INTERFACE name:SymbolOwner modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.SymbolOwner<E of <root>.SymbolOwner>
+    TYPE_PARAMETER name:E index:0 variance: superTypes:[<root>.SymbolOwner<E of <root>.SymbolOwner>]
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:Symbol modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.Symbol<E of <root>.Symbol>
+    TYPE_PARAMETER name:E index:0 variance: superTypes:[<root>.SymbolOwner<E of <root>.Symbol>]
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:ReceiverValue modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ReceiverValue
+    PROPERTY name:type visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-type> visibility:public modality:ABSTRACT <> ($this:<root>.ReceiverValue) returnType:kotlin.String
+        correspondingProperty: PROPERTY name:type visibility:public modality:ABSTRACT [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.ReceiverValue
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String declared in kotlin.Any
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:ImplicitReceiverValue modality:FINAL visibility:public superTypes:[<root>.ReceiverValue]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+    TYPE_PARAMETER name:S index:0 variance: superTypes:[<root>.Symbol<*>]
+    CONSTRUCTOR visibility:public <> (boundSymbol:S of <root>.ImplicitReceiverValue?, type:kotlin.String) returnType:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> [primary]
+      VALUE_PARAMETER name:boundSymbol index:0 type:S of <root>.ImplicitReceiverValue?
+      VALUE_PARAMETER name:type index:1 type:kotlin.String
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:ImplicitReceiverValue modality:FINAL visibility:public superTypes:[<root>.ReceiverValue]'
+    PROPERTY name:boundSymbol visibility:public modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:boundSymbol type:S of <root>.ImplicitReceiverValue? visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'boundSymbol: S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue.<init>' type=S of <root>.ImplicitReceiverValue? origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-boundSymbol> visibility:public modality:FINAL <> ($this:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>) returnType:S of <root>.ImplicitReceiverValue?
+        correspondingProperty: PROPERTY name:boundSymbol visibility:public modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public final fun <get-boundSymbol> (): S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue'
+            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:OPEN [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
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-type> visibility:public modality:OPEN <> ($this:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>) returnType:kotlin.String
+        correspondingProperty: PROPERTY name:type visibility:public modality:OPEN [val]
+        overridden:
+          public abstract fun <get-type> (): kotlin.String declared in <root>.ReceiverValue
+        $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue>
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='public open fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:type type:kotlin.String visibility:private [final]' type=kotlin.String origin=null
+              receiver: GET_VAR '<this>: <root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> declared in <root>.ImplicitReceiverValue.<get-type>' type=<root>.ImplicitReceiverValue<S of <root>.ImplicitReceiverValue> origin=null
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [fake_override,operator] declared in <root>.ReceiverValue
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int [fake_override] declared in <root>.ReceiverValue
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String [fake_override] declared in <root>.ReceiverValue
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:ImplicitReceiverStack modality:ABSTRACT visibility:public superTypes:[kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.ImplicitReceiverStack
+    CONSTRUCTOR visibility:public <> () returnType:<root>.ImplicitReceiverStack [primary]
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:ImplicitReceiverStack modality:ABSTRACT visibility:public superTypes:[kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]'
+    FUN name:get visibility:public modality:ABSTRACT <> ($this:<root>.ImplicitReceiverStack, name:kotlin.String?) returnType:<root>.ImplicitReceiverValue<*>? [operator]
+      $this: VALUE_PARAMETER name:<this> type:<root>.ImplicitReceiverStack
+      VALUE_PARAMETER name:name index:0 type:kotlin.String?
+    FUN FAKE_OVERRIDE name:iterator visibility:public modality:ABSTRACT <> ($this:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>) returnType:kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [fake_override,operator]
+      overridden:
+        public abstract fun iterator (): kotlin.collections.Iterator<T of kotlin.collections.Iterable> [operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [fake_override,operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>, p0:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] <root>.ImplicitReceiverValue<*>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] T of kotlin.collections.Iterable?>?): kotlin.Unit declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>
+      VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] <root>.ImplicitReceiverValue<*>?>?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int [fake_override] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>) returnType:@[EnhancedNullability] java.util.Spliterator<@[EnhancedNullability] <root>.ImplicitReceiverValue<*>> [fake_override]
+      overridden:
+        public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[EnhancedNullability] T of kotlin.collections.Iterable> declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String [fake_override] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS CLASS name:PersistentImplicitReceiverStack modality:FINAL visibility:public superTypes:[<root>.ImplicitReceiverStack; kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.PersistentImplicitReceiverStack
+    CONSTRUCTOR visibility:public <> (stack:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>) returnType:<root>.PersistentImplicitReceiverStack [primary]
+      VALUE_PARAMETER name:stack index:0 type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in <root>.ImplicitReceiverStack'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:PersistentImplicitReceiverStack modality:FINAL visibility:public superTypes:[<root>.ImplicitReceiverStack; kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>]'
+    PROPERTY name:stack visibility:private modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:stack type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>> visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'stack: kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack.<init>' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-stack> visibility:private modality:FINAL <> ($this:<root>.PersistentImplicitReceiverStack) returnType:kotlin.collections.List<<root>.ImplicitReceiverValue<*>>
+        correspondingProperty: PROPERTY name:stack visibility:private modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:stack type:kotlin.collections.List<<root>.ImplicitReceiverValue<*>> visibility:private [final]' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=null
+              receiver: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.<get-stack>' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN name:iterator visibility:public modality:OPEN <> ($this:<root>.PersistentImplicitReceiverStack) returnType:kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [operator]
+      overridden:
+        public abstract fun iterator (): kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [fake_override,operator] declared in <root>.ImplicitReceiverStack
+        public abstract fun iterator (): kotlin.collections.Iterator<T of kotlin.collections.Iterable> [operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public open fun iterator (): kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> [operator] declared in <root>.PersistentImplicitReceiverStack'
+          CALL 'public abstract fun iterator (): kotlin.collections.Iterator<E of kotlin.collections.List> [operator] declared in kotlin.collections.List' type=kotlin.collections.Iterator<<root>.ImplicitReceiverValue<*>> origin=null
+            $this: CALL 'private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=GET_PROPERTY
+              $this: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.iterator' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN name:get visibility:public modality:OPEN <> ($this:<root>.PersistentImplicitReceiverStack, name:kotlin.String?) returnType:<root>.ImplicitReceiverValue<*>? [operator]
+      overridden:
+        public abstract fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.ImplicitReceiverStack
+      $this: VALUE_PARAMETER name:<this> type:<root>.PersistentImplicitReceiverStack
+      VALUE_PARAMETER name:name index:0 type:kotlin.String?
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='public open fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.PersistentImplicitReceiverStack'
+          CALL 'public final fun lastOrNull <T> (): T of kotlin.collections.lastOrNull? declared in kotlin.collections' type=<root>.ImplicitReceiverValue<*>? origin=null
+            <T>: <root>.ImplicitReceiverValue<*>
+            $receiver: CALL 'private final fun <get-stack> (): kotlin.collections.List<<root>.ImplicitReceiverValue<*>> declared in <root>.PersistentImplicitReceiverStack' type=kotlin.collections.List<<root>.ImplicitReceiverValue<*>> origin=GET_PROPERTY
+              $this: GET_VAR '<this>: <root>.PersistentImplicitReceiverStack declared in <root>.PersistentImplicitReceiverStack.get' type=<root>.PersistentImplicitReceiverStack origin=null
+    FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
+      overridden:
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [fake_override,operator] declared in <root>.ImplicitReceiverStack
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [fake_override,operator] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+      VALUE_PARAMETER name:other index:0 type:kotlin.Any?
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>, p0:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] <root>.ImplicitReceiverValue<*>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] <root>.ImplicitReceiverValue<*>?>?): kotlin.Unit [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun forEach (p0: @[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] T of kotlin.collections.Iterable?>?): kotlin.Unit declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>
+      VALUE_PARAMETER name:p0 index:0 type:@[FlexibleNullability] java.util.function.Consumer<in @[FlexibleNullability] <root>.ImplicitReceiverValue<*>?>?
+    FUN FAKE_OVERRIDE name:hashCode visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.Int [fake_override]
+      overridden:
+        public open fun hashCode (): kotlin.Int [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun hashCode (): kotlin.Int [fake_override] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>) returnType:@[EnhancedNullability] java.util.Spliterator<@[EnhancedNullability] <root>.ImplicitReceiverValue<*>> [fake_override]
+      overridden:
+        public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[EnhancedNullability] <root>.ImplicitReceiverValue<*>> [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun spliterator (): @[EnhancedNullability] java.util.Spliterator<@[EnhancedNullability] T of kotlin.collections.Iterable> declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.collections.Iterable<<root>.ImplicitReceiverValue<*>>
+    FUN FAKE_OVERRIDE name:toString visibility:public modality:OPEN <> ($this:kotlin.Any) returnType:kotlin.String [fake_override]
+      overridden:
+        public open fun toString (): kotlin.String [fake_override] declared in <root>.ImplicitReceiverStack
+        public open fun toString (): kotlin.String [fake_override] declared in kotlin.collections.Iterable
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  FUN name:bar visibility:public modality:FINAL <> (s:kotlin.String) returnType:kotlin.Unit
+    VALUE_PARAMETER name:s index:0 type:kotlin.String
+    BLOCK_BODY
+  FUN name:foo visibility:public modality:FINAL <> (stack:<root>.PersistentImplicitReceiverStack) returnType:kotlin.Unit
+    VALUE_PARAMETER name:stack index:0 type:<root>.PersistentImplicitReceiverStack
+    BLOCK_BODY
+      CALL 'public final fun forEach <T> (action: kotlin.Function1<T of kotlin.collections.forEach, kotlin.Unit>): kotlin.Unit [inline] declared in kotlin.collections' type=kotlin.Unit origin=null
+        <T>: <root>.ImplicitReceiverValue<*>
+        $receiver: GET_VAR 'stack: <root>.PersistentImplicitReceiverStack declared in <root>.foo' type=<root>.PersistentImplicitReceiverStack origin=null
+        action: FUN_EXPR type=kotlin.Function1<<root>.ImplicitReceiverValue<*>, kotlin.Unit> origin=LAMBDA
+          FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.ImplicitReceiverValue<*>) returnType:kotlin.Unit
+            VALUE_PARAMETER name:it index:0 type:<root>.ImplicitReceiverValue<*>
+            BLOCK_BODY
+              TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
+                CALL 'public final fun <get-boundSymbol> (): S of <root>.ImplicitReceiverValue? declared in <root>.ImplicitReceiverValue' type=<root>.Symbol<*>? origin=GET_PROPERTY
+                  $this: GET_VAR 'it: <root>.ImplicitReceiverValue<*> declared in <root>.foo.<anonymous>' type=<root>.ImplicitReceiverValue<*> origin=null
+              CALL 'public final fun bar (s: kotlin.String): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+                s: CALL 'public open fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+                  $this: GET_VAR 'it: <root>.ImplicitReceiverValue<*> declared in <root>.foo.<anonymous>' type=<root>.ImplicitReceiverValue<*> origin=null
+  FUN name:box visibility:public modality:FINAL <> () returnType:kotlin.String
+    BLOCK_BODY
+      VAR name:stack type:<root>.PersistentImplicitReceiverStack [val]
+        CONSTRUCTOR_CALL 'public constructor <init> (stack: kotlin.collections.List<<root>.ImplicitReceiverValue<*>>) [primary] declared in <root>.PersistentImplicitReceiverStack' type=<root>.PersistentImplicitReceiverStack origin=null
+          stack: CALL 'public final fun listOf <T> (vararg elements: T of kotlin.collections.listOf): kotlin.collections.List<T of kotlin.collections.listOf> declared in kotlin.collections' type=kotlin.collections.List<<root>.ImplicitReceiverValue<kotlin.Nothing>> origin=null
+            <T>: <root>.ImplicitReceiverValue<kotlin.Nothing>
+            elements: VARARG type=kotlin.Array<out <root>.ImplicitReceiverValue<kotlin.Nothing>> varargElementType=<root>.ImplicitReceiverValue<kotlin.Nothing>
+              CONSTRUCTOR_CALL 'public constructor <init> (boundSymbol: S of <root>.ImplicitReceiverValue?, type: kotlin.String) [primary] declared in <root>.ImplicitReceiverValue' type=<root>.ImplicitReceiverValue<kotlin.Nothing> origin=null
+                <class: S>: kotlin.Nothing
+                boundSymbol: CONST Null type=kotlin.Nothing? value=null
+                type: CONST String type=kotlin.String value="O"
+              CONSTRUCTOR_CALL 'public constructor <init> (boundSymbol: S of <root>.ImplicitReceiverValue?, type: kotlin.String) [primary] declared in <root>.ImplicitReceiverValue' type=<root>.ImplicitReceiverValue<kotlin.Nothing> origin=null
+                <class: S>: kotlin.Nothing
+                boundSymbol: CONST Null type=kotlin.Nothing? value=null
+                type: CONST String type=kotlin.String value="K"
+      CALL 'public final fun foo (stack: <root>.PersistentImplicitReceiverStack): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
+        stack: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+      RETURN type=kotlin.Nothing from='public final fun box (): kotlin.String declared in <root>'
+        CALL 'public final fun plus (other: kotlin.Any?): kotlin.String [operator] declared in kotlin.String' type=kotlin.String origin=PLUS
+          $this: CALL 'public open fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+            $this: CALL 'public final fun first <T> (): T of kotlin.collections.first declared in kotlin.collections' type=<root>.ImplicitReceiverValue<*> origin=null
+              <T>: <root>.ImplicitReceiverValue<*>
+              $receiver: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+          other: BLOCK type=kotlin.String? origin=SAFE_CALL
+            VAR IR_TEMPORARY_VARIABLE name:tmp_0 type:<root>.ImplicitReceiverValue<*>? [val]
+              CALL 'public open fun get (name: kotlin.String?): <root>.ImplicitReceiverValue<*>? [operator] declared in <root>.PersistentImplicitReceiverStack' type=<root>.ImplicitReceiverValue<*>? origin=GET_ARRAY_ELEMENT
+                $this: GET_VAR 'val stack: <root>.PersistentImplicitReceiverStack [val] declared in <root>.box' type=<root>.PersistentImplicitReceiverStack origin=null
+                name: CONST Null type=kotlin.Nothing? value=null
+            WHEN type=kotlin.String? origin=null
+              BRANCH
+                if: CALL 'public final fun EQEQ (arg0: kotlin.Any?, arg1: kotlin.Any?): kotlin.Boolean declared in kotlin.internal.ir' type=kotlin.Boolean origin=EQEQ
+                  arg0: GET_VAR 'val tmp_0: <root>.ImplicitReceiverValue<*>? [val] declared in <root>.box' type=<root>.ImplicitReceiverValue<*>? origin=null
+                  arg1: CONST Null type=kotlin.Nothing? value=null
+                then: CONST Null type=kotlin.Nothing? value=null
+              BRANCH
+                if: CONST Boolean type=kotlin.Boolean value=true
+                then: CALL 'public open fun <get-type> (): kotlin.String declared in <root>.ImplicitReceiverValue' type=kotlin.String origin=GET_PROPERTY
+                  $this: GET_VAR 'val tmp_0: <root>.ImplicitReceiverValue<*>? [val] declared in <root>.box' type=<root>.ImplicitReceiverValue<*>? origin=null
diff --git a/compiler/testData/ir/irText/firProblems/MultiList.fir.txt b/compiler/testData/ir/irText/firProblems/MultiList.fir.txt
index 7dcc48ba3f5..c682c9524ee 100644
--- a/compiler/testData/ir/irText/firProblems/MultiList.fir.txt
+++ b/compiler/testData/ir/irText/firProblems/MultiList.fir.txt
@@ -156,6 +156,23 @@ FILE fqName:<root> fileName:/MultiList.kt
         overridden:
           public abstract fun <get-size> (): kotlin.Int declared in kotlin.collections.List
         $this: VALUE_PARAMETER name:<this> type:kotlin.collections.List<E of kotlin.collections.List>
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.Some<T of <root>.MyList>?> [fake_override]
+      overridden:
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:parallelStream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.MyList>?> [fake_override]
+      overridden:
+        public open fun parallelStream (): @[FlexibleNullability] java.util.stream.Stream<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:stream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.MyList>?> [fake_override]
+      overridden:
+        public open fun stream (): @[FlexibleNullability] java.util.stream.Stream<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.Some<T of <root>.MyList>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: java.util.function.Consumer<in T of java.lang.Iterable?>?): kotlin.Unit declared in java.lang.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.Some<T of <root>.MyList>?>?
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
@@ -246,6 +263,27 @@ FILE fqName:<root> fileName:/MultiList.kt
           public abstract fun <get-size> (): kotlin.Int declared in kotlin.collections.List
           public abstract fun <get-size> (): kotlin.Int declared in java.util.ArrayList
         $this: VALUE_PARAMETER name:<this> type:kotlin.collections.List<E of kotlin.collections.List>
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.Some<T of <root>.SomeList>?> [fake_override]
+      overridden:
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<<root>.Some<T of <root>.MyList>?> [fake_override] declared in <root>.MyList
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<E of java.util.ArrayList?> declared in java.util.ArrayList
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:parallelStream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.SomeList>?> [fake_override]
+      overridden:
+        public open fun parallelStream (): @[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.MyList>?> [fake_override] declared in <root>.MyList
+        public open fun parallelStream (): @[FlexibleNullability] java.util.stream.Stream<@[FlexibleNullability] E of java.util.ArrayList?> declared in java.util.ArrayList
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:stream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.SomeList>?> [fake_override]
+      overridden:
+        public open fun stream (): @[FlexibleNullability] java.util.stream.Stream<<root>.Some<T of <root>.MyList>?> [fake_override] declared in <root>.MyList
+        public open fun stream (): @[FlexibleNullability] java.util.stream.Stream<@[FlexibleNullability] E of java.util.ArrayList?> declared in java.util.ArrayList
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.Some<T of <root>.SomeList>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: java.util.function.Consumer<in <root>.Some<T of <root>.MyList>?>?): kotlin.Unit [fake_override] declared in <root>.MyList
+        public open fun forEach (p0: java.util.function.Consumer<in E of java.util.ArrayList?>?): kotlin.Unit declared in java.util.ArrayList
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.Some<T of <root>.SomeList>?>?
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
@@ -348,17 +386,6 @@ FILE fqName:<root> fileName:/MultiList.kt
         public open fun retainAll (p0: kotlin.collections.Collection<E of java.util.ArrayList>): kotlin.Boolean declared in java.util.ArrayList
       $this: VALUE_PARAMETER name:<this> type:java.util.ArrayList<E of java.util.ArrayList>
       VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<<root>.Some<T of <root>.SomeList>>
-    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.Some<T of <root>.SomeList>?>?) returnType:kotlin.Unit [fake_override]
-      overridden:
-        public open fun forEach (p0: java.util.function.Consumer<in <root>.Some<T of <root>.MyList>?>?): kotlin.Unit declared in <root>.MyList
-        public open fun forEach (p0: java.util.function.Consumer<in E of java.util.ArrayList?>?): kotlin.Unit declared in java.util.ArrayList
-      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
-      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.Some<T of <root>.SomeList>?>?
-    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.Some<T of <root>.SomeList>?> [fake_override]
-      overridden:
-        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<<root>.Some<T of <root>.MyList>?> declared in <root>.MyList
-        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<E of java.util.ArrayList?> declared in java.util.ArrayList
-      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
     FUN FAKE_OVERRIDE name:removeIf visibility:public modality:OPEN <> ($this:java.util.ArrayList<E of java.util.ArrayList>, p0:java.util.function.Predicate<in <root>.Some<T of <root>.SomeList>?>?) returnType:kotlin.Boolean [fake_override]
       overridden:
         public open fun removeIf (p0: java.util.function.Predicate<in E of java.util.ArrayList?>?): kotlin.Boolean declared in java.util.ArrayList
@@ -446,6 +473,23 @@ FILE fqName:<root> fileName:/MultiList.kt
           public abstract fun <get-size> (): kotlin.Int declared in kotlin.collections.List
           public abstract fun <get-size> (): kotlin.Int declared in java.util.ArrayList
         $this: VALUE_PARAMETER name:<this> type:kotlin.collections.List<E of kotlin.collections.List>
+    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.Some<kotlin.String>?> [fake_override]
+      overridden:
+        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:parallelStream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<kotlin.String>?> [fake_override]
+      overridden:
+        public open fun parallelStream (): @[FlexibleNullability] java.util.stream.Stream<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:stream visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.stream.Stream<<root>.Some<kotlin.String>?> [fake_override]
+      overridden:
+        public open fun stream (): @[FlexibleNullability] java.util.stream.Stream<E of java.util.Collection?> declared in java.util.Collection
+      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
+    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.Some<kotlin.String>?>?) returnType:kotlin.Unit [fake_override]
+      overridden:
+        public open fun forEach (p0: java.util.function.Consumer<in T of java.lang.Iterable?>?): kotlin.Unit declared in java.lang.Iterable
+      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
+      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.Some<kotlin.String>?>?
     FUN FAKE_OVERRIDE name:equals visibility:public modality:OPEN <> ($this:kotlin.Any, other:kotlin.Any?) returnType:kotlin.Boolean [fake_override,operator]
       overridden:
         public open fun equals (other: kotlin.Any?): kotlin.Boolean [operator] declared in kotlin.Any
@@ -548,15 +592,6 @@ FILE fqName:<root> fileName:/MultiList.kt
         public open fun retainAll (p0: kotlin.collections.Collection<E of java.util.ArrayList>): kotlin.Boolean declared in java.util.ArrayList
       $this: VALUE_PARAMETER name:<this> type:java.util.ArrayList<E of java.util.ArrayList>
       VALUE_PARAMETER name:p0 index:0 type:kotlin.collections.Collection<<root>.Some<kotlin.String>>
-    FUN FAKE_OVERRIDE name:forEach visibility:public modality:OPEN <> ($this:java.lang.Iterable<T of java.lang.Iterable>, p0:java.util.function.Consumer<in <root>.Some<kotlin.String>?>?) returnType:kotlin.Unit [fake_override]
-      overridden:
-        public open fun forEach (p0: java.util.function.Consumer<in T of java.lang.Iterable?>?): kotlin.Unit declared in java.lang.Iterable
-      $this: VALUE_PARAMETER name:<this> type:java.lang.Iterable<T of java.lang.Iterable>
-      VALUE_PARAMETER name:p0 index:0 type:java.util.function.Consumer<in <root>.Some<kotlin.String>?>?
-    FUN FAKE_OVERRIDE name:spliterator visibility:public modality:OPEN <> ($this:java.util.Collection<E of java.util.Collection>) returnType:@[FlexibleNullability] java.util.Spliterator<<root>.Some<kotlin.String>?> [fake_override]
-      overridden:
-        public open fun spliterator (): @[FlexibleNullability] java.util.Spliterator<E of java.util.Collection?> declared in java.util.Collection
-      $this: VALUE_PARAMETER name:<this> type:java.util.Collection<E of java.util.Collection>
     FUN FAKE_OVERRIDE name:removeIf visibility:public modality:OPEN <> ($this:java.util.ArrayList<E of java.util.ArrayList>, p0:java.util.function.Predicate<in <root>.Some<kotlin.String>?>?) returnType:kotlin.Boolean [fake_override]
       overridden:
         public open fun removeIf (p0: java.util.function.Predicate<in E of java.util.ArrayList?>?): kotlin.Boolean declared in java.util.ArrayList
diff --git a/compiler/tests-gen/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java b/compiler/tests-gen/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
index 5b81fdc7934..a6d46b7c275 100644
--- a/compiler/tests-gen/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
+++ b/compiler/tests-gen/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
@@ -1811,6 +1811,11 @@ public class IrTextTestCaseGenerated extends AbstractIrTextTestCase {
             runTest("compiler/testData/ir/irText/firProblems/FirBuilder.kt");
         }
 
+        @TestMetadata("ImplicitReceiverStack.kt")
+        public void testImplicitReceiverStack() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/ImplicitReceiverStack.kt");
+        }
+
         @TestMetadata("inapplicableCollectionSet.kt")
         public void testInapplicableCollectionSet() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/inapplicableCollectionSet.kt");