diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.kt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.kt
new file mode 100644
index 00000000000..85c56ffbe3a
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.kt
@@ -0,0 +1,42 @@
+interface IrType
+
+interface TypeRemapper {
+    fun enterScope(irTypeParametersContainer: IrTypeParametersContainer)
+    fun remapType(type: IrType): IrType
+    fun leaveScope()
+}
+
+interface IrTypeParametersContainer : IrDeclaration, IrDeclarationParent {
+    var typeParameters: List<IrTypeParameter>
+}
+
+interface IrDeclaration
+interface IrTypeParameter : IrDeclaration {
+    val superTypes: MutableList<IrType>
+}
+interface IrDeclarationParent
+
+class DeepCopyIrTreeWithSymbols(private val typeRemapper: TypeRemapper) {
+    private fun copyTypeParameter(declaration: IrTypeParameter): IrTypeParameter = declaration
+
+    fun IrTypeParametersContainer.copyTypeParametersFrom(other: IrTypeParametersContainer) {
+        this.typeParameters = other.typeParameters.map {
+            copyTypeParameter(it)
+        }
+
+        typeRemapper.withinScope(this) {
+            for ((thisTypeParameter, otherTypeParameter) in this.typeParameters.zip(other.typeParameters)) {
+                otherTypeParameter.superTypes.mapTo(thisTypeParameter.superTypes) {
+                    typeRemapper.remapType(it)
+                }
+            }
+        }
+    }
+}
+
+inline fun <T> TypeRemapper.withinScope(irTypeParametersContainer: IrTypeParametersContainer, fn: () -> T): T {
+    enterScope(irTypeParametersContainer)
+    val result = fn()
+    leaveScope()
+    return result
+}
diff --git a/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.txt b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.txt
new file mode 100644
index 00000000000..010089f66d6
--- /dev/null
+++ b/compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.txt
@@ -0,0 +1,66 @@
+FILE: DeepCopyIrTree.kt
+    public abstract interface IrType : R|kotlin/Any| {
+    }
+    public abstract interface TypeRemapper : R|kotlin/Any| {
+        public abstract fun enterScope(irTypeParametersContainer: R|IrTypeParametersContainer|): R|kotlin/Unit|
+
+        public abstract fun remapType(type: R|IrType|): R|IrType|
+
+        public abstract fun leaveScope(): R|kotlin/Unit|
+
+    }
+    public abstract interface IrTypeParametersContainer : R|IrDeclaration|, R|IrDeclarationParent| {
+        public abstract var typeParameters: R|kotlin/collections/List<IrTypeParameter>|
+            public get(): R|kotlin/collections/List<IrTypeParameter>|
+            public set(value: R|kotlin/collections/List<IrTypeParameter>|): R|kotlin/Unit|
+
+    }
+    public abstract interface IrDeclaration : R|kotlin/Any| {
+    }
+    public abstract interface IrTypeParameter : R|IrDeclaration| {
+        public abstract val superTypes: R|kotlin/collections/MutableList<IrType>|
+            public get(): R|kotlin/collections/MutableList<IrType>|
+
+    }
+    public abstract interface IrDeclarationParent : R|kotlin/Any| {
+    }
+    public final class DeepCopyIrTreeWithSymbols : R|kotlin/Any| {
+        public constructor(typeRemapper: R|TypeRemapper|): R|DeepCopyIrTreeWithSymbols| {
+            super<R|kotlin/Any|>()
+        }
+
+        private final val typeRemapper: R|TypeRemapper| = R|<local>/typeRemapper|
+            private get(): R|TypeRemapper|
+
+        private final fun copyTypeParameter(declaration: R|IrTypeParameter|): R|IrTypeParameter| {
+            ^copyTypeParameter R|<local>/declaration|
+        }
+
+        public final fun R|IrTypeParametersContainer|.copyTypeParametersFrom(other: R|IrTypeParametersContainer|): R|kotlin/Unit| {
+            this@R|/DeepCopyIrTreeWithSymbols.copyTypeParametersFrom|.R|/IrTypeParametersContainer.typeParameters| = R|<local>/other|.R|/IrTypeParametersContainer.typeParameters|.R|kotlin/collections/map|<R|IrTypeParameter|, R|IrTypeParameter|>(<L> = map@fun <anonymous>(it: R|IrTypeParameter|): R|IrTypeParameter| <kind=UNKNOWN>  {
+                ^ this@R|/DeepCopyIrTreeWithSymbols|.R|/DeepCopyIrTreeWithSymbols.copyTypeParameter|(R|<local>/it|)
+            }
+            )
+            this@R|/DeepCopyIrTreeWithSymbols|.R|/DeepCopyIrTreeWithSymbols.typeRemapper|.R|/withinScope|<R|kotlin/Unit|>(this@R|/DeepCopyIrTreeWithSymbols.copyTypeParametersFrom|, <L> = withinScope@fun <anonymous>(): R|kotlin/Unit| <kind=UNKNOWN>  {
+                lval <iterator>: R|kotlin/collections/Iterator<kotlin/Pair<IrTypeParameter, IrTypeParameter>>| = this@R|/DeepCopyIrTreeWithSymbols.copyTypeParametersFrom|.R|/IrTypeParametersContainer.typeParameters|.R|kotlin/collections/zip|<R|IrTypeParameter|, R|IrTypeParameter|>(R|<local>/other|.R|/IrTypeParametersContainer.typeParameters|).R|FakeOverride<kotlin/collections/List.iterator: R|kotlin/collections/Iterator<kotlin/Pair<IrTypeParameter, IrTypeParameter>>|>|()
+                while(R|<local>/<iterator>|.R|kotlin/collections/Iterator.hasNext|()) {
+                    lval <destruct>: R|kotlin/Pair<IrTypeParameter, IrTypeParameter>| = R|<local>/<iterator>|.R|FakeOverride<kotlin/collections/Iterator.next: R|kotlin/Pair<IrTypeParameter, IrTypeParameter>|>|()
+                    lval thisTypeParameter: R|IrTypeParameter| = R|<local>/<destruct>|.R|FakeOverride<kotlin/Pair.component1: R|IrTypeParameter|>|()
+                    lval otherTypeParameter: R|IrTypeParameter| = R|<local>/<destruct>|.R|FakeOverride<kotlin/Pair.component2: R|IrTypeParameter|>|()
+                    R|<local>/otherTypeParameter|.R|/IrTypeParameter.superTypes|.R|kotlin/collections/mapTo|<R|IrType|, R|IrType|, R|kotlin/collections/MutableList<IrType>|>(R|<local>/thisTypeParameter|.R|/IrTypeParameter.superTypes|, <L> = mapTo@fun <anonymous>(it: R|IrType|): R|IrType| <kind=UNKNOWN>  {
+                        ^ this@R|/DeepCopyIrTreeWithSymbols|.R|/DeepCopyIrTreeWithSymbols.typeRemapper|.R|/TypeRemapper.remapType|(R|<local>/it|)
+                    }
+                    )
+                }
+
+            }
+            )
+        }
+
+    }
+    public final inline fun <T> R|TypeRemapper|.withinScope(irTypeParametersContainer: R|IrTypeParametersContainer|, fn: R|() -> T|): R|T| {
+        this@R|/withinScope|.R|/TypeRemapper.enterScope|(R|<local>/irTypeParametersContainer|)
+        lval result: R|T| = R|<local>/fn|.R|FakeOverride<kotlin/Function0.invoke: R|T|>|()
+        this@R|/withinScope|.R|/TypeRemapper.leaveScope|()
+        ^withinScope R|<local>/result|
+    }
diff --git a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithStdlibTestGenerated.java b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithStdlibTestGenerated.java
index 6290b4c9af5..dc707afc699 100644
--- a/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithStdlibTestGenerated.java
+++ b/compiler/fir/analysis-tests/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithStdlibTestGenerated.java
@@ -1184,6 +1184,11 @@ public class FirDiagnosticsWithStdlibTestGenerated extends AbstractFirDiagnostic
             KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
         }
 
+        @TestMetadata("DeepCopyIrTree.kt")
+        public void testDeepCopyIrTree() throws Exception {
+            runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/DeepCopyIrTree.kt");
+        }
+
         @TestMetadata("invokePriority.kt")
         public void testInvokePriority() throws Exception {
             runTest("compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/invokePriority.kt");
diff --git a/compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java b/compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
index 95ff46af544..b70c2fd7478 100644
--- a/compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
+++ b/compiler/fir/fir2ir/tests/org/jetbrains/kotlin/fir/Fir2IrTextTestGenerated.java
@@ -1712,6 +1712,11 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
             KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/ir/irText/firProblems"), Pattern.compile("^(.+)\\.kt$"), null, true);
         }
 
+        @TestMetadata("DeepCopyIrTree.kt")
+        public void testDeepCopyIrTree() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt");
+        }
+
         @TestMetadata("deprecated.kt")
         public void testDeprecated() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/deprecated.kt");
diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirControlFlowStatementsResolveTransformer.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirControlFlowStatementsResolveTransformer.kt
index 16d88ab8406..fb1cd0eb55c 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirControlFlowStatementsResolveTransformer.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/transformers/body/resolve/FirControlFlowStatementsResolveTransformer.kt
@@ -33,23 +33,25 @@ class FirControlFlowStatementsResolveTransformer(transformer: FirBodyResolveTran
     // ------------------------------- Loops -------------------------------
 
     override fun transformWhileLoop(whileLoop: FirWhileLoop, data: ResolutionMode): CompositeTransformResult<FirStatement> {
+        val context = ResolutionMode.ContextIndependent
         return whileLoop.also(dataFlowAnalyzer::enterWhileLoop)
-            .transformCondition(transformer, data).also(dataFlowAnalyzer::exitWhileLoopCondition)
-            .transformBlock(transformer, data).also(dataFlowAnalyzer::exitWhileLoop)
-            .transformOtherChildren(transformer, data).compose()
+            .transformCondition(transformer, context).also(dataFlowAnalyzer::exitWhileLoopCondition)
+            .transformBlock(transformer, context).also(dataFlowAnalyzer::exitWhileLoop)
+            .transformOtherChildren(transformer, context).compose()
     }
 
     override fun transformDoWhileLoop(doWhileLoop: FirDoWhileLoop, data: ResolutionMode): CompositeTransformResult<FirStatement> {
+        val context = ResolutionMode.ContextIndependent
         // Do-while has a specific scope structure (its block and condition effectively share the scope)
         return withNewLocalScope {
             doWhileLoop.also(dataFlowAnalyzer::enterDoWhileLoop)
                 .apply {
-                    transformer.expressionsTransformer.transformBlockInCurrentScope(block, data)
+                    transformer.expressionsTransformer.transformBlockInCurrentScope(block, context)
                     dataFlowAnalyzer
                 }
-                .also(dataFlowAnalyzer::enterDoWhileLoopCondition).transformCondition(transformer, data)
+                .also(dataFlowAnalyzer::enterDoWhileLoopCondition).transformCondition(transformer, context)
                 .also(dataFlowAnalyzer::exitDoWhileLoop)
-                .transformOtherChildren(transformer, data).compose()
+                .transformOtherChildren(transformer, context).compose()
         }
     }
 
diff --git a/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.fir.txt b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.fir.txt
new file mode 100644
index 00000000000..1d78fd43613
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.fir.txt
@@ -0,0 +1,232 @@
+FILE fqName:<root> fileName:/DeepCopyIrTree.kt
+  CLASS INTERFACE name:IrType modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrType
+    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:TypeRemapper modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.TypeRemapper
+    FUN name:enterScope visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper, irTypeParametersContainer:<root>.IrTypeParametersContainer) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+      VALUE_PARAMETER name:irTypeParametersContainer index:0 type:<root>.IrTypeParametersContainer
+    FUN name:remapType visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper, type:<root>.IrType) returnType:<root>.IrType
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+      VALUE_PARAMETER name:type index:0 type:<root>.IrType
+    FUN name:leaveScope visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+    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:IrTypeParametersContainer modality:ABSTRACT visibility:public superTypes:[<root>.IrDeclaration; <root>.IrDeclarationParent]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrTypeParametersContainer
+    PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-typeParameters> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParametersContainer) returnType:kotlin.collections.List<<root>.IrTypeParameter>
+        correspondingProperty: PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<set-typeParameters> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParametersContainer, <set-?>:kotlin.collections.List<<root>.IrTypeParameter>) returnType:kotlin.Unit
+        correspondingProperty: PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+        VALUE_PARAMETER name:<set-?> index:0 type:kotlin.collections.List<<root>.IrTypeParameter>
+    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:IrDeclaration modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrDeclaration
+    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:IrTypeParameter modality:ABSTRACT visibility:public superTypes:[<root>.IrDeclaration]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrTypeParameter
+    PROPERTY name:superTypes visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-superTypes> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParameter) returnType:kotlin.collections.MutableList<<root>.IrType>
+        correspondingProperty: PROPERTY name:superTypes visibility:public modality:ABSTRACT [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParameter
+    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:IrDeclarationParent modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrDeclarationParent
+    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:DeepCopyIrTreeWithSymbols modality:FINAL visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+    CONSTRUCTOR visibility:public <> (typeRemapper:<root>.TypeRemapper) returnType:<root>.DeepCopyIrTreeWithSymbols [primary]
+      VALUE_PARAMETER name:typeRemapper index:0 type:<root>.TypeRemapper
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:DeepCopyIrTreeWithSymbols modality:FINAL visibility:public superTypes:[kotlin.Any]'
+    PROPERTY name:typeRemapper visibility:private modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:typeRemapper type:<root>.TypeRemapper visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'typeRemapper: <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols.<init>' type=<root>.TypeRemapper origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-typeRemapper> visibility:private modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols) returnType:<root>.TypeRemapper
+        correspondingProperty: PROPERTY name:typeRemapper visibility:private modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:typeRemapper type:<root>.TypeRemapper visibility:private [final]' type=<root>.TypeRemapper origin=null
+              receiver: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.<get-typeRemapper>' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+    FUN name:copyTypeParameter visibility:private modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols, declaration:<root>.IrTypeParameter) returnType:<root>.IrTypeParameter
+      $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+      VALUE_PARAMETER name:declaration index:0 type:<root>.IrTypeParameter
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='private final fun copyTypeParameter (declaration: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols'
+          GET_VAR 'declaration: <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParameter' type=<root>.IrTypeParameter origin=null
+    FUN name:copyTypeParametersFrom visibility:public modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols, $receiver:<root>.IrTypeParametersContainer, other:<root>.IrTypeParametersContainer) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+      VALUE_PARAMETER name:other index:0 type:<root>.IrTypeParametersContainer
+      BLOCK_BODY
+        CALL 'public abstract fun <set-typeParameters> (<set-?>: kotlin.collections.List<<root>.IrTypeParameter>): kotlin.Unit declared in <root>.IrTypeParametersContainer' type=kotlin.Unit origin=EQ
+          $this: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+          <set-?>: CALL 'public final fun map <T, R> (transform: kotlin.Function1<T of kotlin.collections.map, R of kotlin.collections.map>): kotlin.collections.List<R of kotlin.collections.map> [inline] declared in kotlin.collections' type=kotlin.collections.List<<root>.IrTypeParameter> origin=null
+            <T>: <root>.IrTypeParameter
+            <R>: <root>.IrTypeParameter
+            $receiver: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+              $this: GET_VAR 'other: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+            transform: FUN_EXPR type=kotlin.Function1<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=LAMBDA
+              FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.IrTypeParameter) returnType:<root>.IrTypeParameter
+                VALUE_PARAMETER name:it index:0 type:<root>.IrTypeParameter
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom'
+                    CALL 'private final fun copyTypeParameter (declaration: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.IrTypeParameter origin=null
+                      $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+                      declaration: GET_VAR 'it: <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+        CALL 'public final fun withinScope <T> (irTypeParametersContainer: <root>.IrTypeParametersContainer, fn: kotlin.Function0<T of <root>.withinScope>): T of <root>.withinScope [inline] declared in <root>' type=kotlin.Unit origin=null
+          <T>: kotlin.Unit
+          $receiver: CALL 'private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.TypeRemapper origin=GET_PROPERTY
+            $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+          irTypeParametersContainer: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+          fn: FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
+            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit
+              BLOCK_BODY
+                BLOCK type=kotlin.Unit origin=FOR_LOOP
+                  VAR FOR_LOOP_ITERATOR name:tmp_0 type:kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val]
+                    CALL 'public abstract fun iterator (): kotlin.collections.Iterator<E of kotlin.collections.List> [operator] declared in kotlin.collections.List' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=FOR_LOOP_ITERATOR
+                      $this: CALL 'public final fun zip <T, R> (other: kotlin.collections.Iterable<R of kotlin.collections.zip>): kotlin.collections.List<kotlin.Pair<T of kotlin.collections.zip, R of kotlin.collections.zip>> [infix] declared in kotlin.collections' type=kotlin.collections.List<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                        <T>: <root>.IrTypeParameter
+                        <R>: <root>.IrTypeParameter
+                        $receiver: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+                          $this: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+                        other: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+                          $this: GET_VAR 'other: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+                  WHILE label=null origin=FOR_LOOP_INNER_WHILE
+                    condition: CALL 'public abstract fun hasNext (): kotlin.Boolean [operator] declared in kotlin.collections.Iterator' type=kotlin.Boolean origin=FOR_LOOP_HAS_NEXT
+                      $this: GET_VAR 'val tmp_0: kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                    body: BLOCK type=kotlin.collections.MutableList<<root>.IrType> origin=FOR_LOOP_INNER_WHILE
+                      VAR FOR_LOOP_VARIABLE name:<destruct> type:kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val]
+                        CALL 'public abstract fun next (): T of kotlin.collections.Iterator [operator] declared in kotlin.collections.Iterator' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=FOR_LOOP_NEXT
+                          $this: GET_VAR 'val tmp_0: kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                      VAR name:thisTypeParameter type:<root>.IrTypeParameter [val]
+                        CALL 'public final fun component1 (): A of kotlin.Pair [operator] declared in kotlin.Pair' type=<root>.IrTypeParameter origin=null
+                          $this: GET_VAR 'val <destruct>: kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=null
+                      VAR name:otherTypeParameter type:<root>.IrTypeParameter [val]
+                        CALL 'public final fun component2 (): B of kotlin.Pair [operator] declared in kotlin.Pair' type=<root>.IrTypeParameter origin=null
+                          $this: GET_VAR 'val <destruct>: kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=null
+                      CALL 'public final fun mapTo <T, R, C> (destination: C of kotlin.collections.mapTo, transform: kotlin.Function1<T of kotlin.collections.mapTo, R of kotlin.collections.mapTo>): C of kotlin.collections.mapTo [inline] declared in kotlin.collections' type=kotlin.collections.MutableList<<root>.IrType> origin=null
+                        <T>: <root>.IrType
+                        <R>: <root>.IrType
+                        <C>: kotlin.collections.MutableList<<root>.IrType>
+                        $receiver: CALL 'public abstract fun <get-superTypes> (): kotlin.collections.MutableList<<root>.IrType> declared in <root>.IrTypeParameter' type=kotlin.collections.MutableList<<root>.IrType> origin=GET_PROPERTY
+                          $this: GET_VAR 'val otherTypeParameter: <root>.IrTypeParameter [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+                        destination: CALL 'public abstract fun <get-superTypes> (): kotlin.collections.MutableList<<root>.IrType> declared in <root>.IrTypeParameter' type=kotlin.collections.MutableList<<root>.IrType> origin=GET_PROPERTY
+                          $this: GET_VAR 'val thisTypeParameter: <root>.IrTypeParameter [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+                        transform: FUN_EXPR type=kotlin.Function1<<root>.IrType, <root>.IrType> origin=LAMBDA
+                          FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.IrType) returnType:<root>.IrType
+                            VALUE_PARAMETER name:it index:0 type:<root>.IrType
+                            BLOCK_BODY
+                              RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: <root>.IrType): <root>.IrType declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>'
+                                CALL 'public abstract fun remapType (type: <root>.IrType): <root>.IrType declared in <root>.TypeRemapper' type=<root>.IrType origin=null
+                                  $this: CALL 'private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.TypeRemapper origin=GET_PROPERTY
+                                    $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+                                  type: GET_VAR 'it: <root>.IrType declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>.<anonymous>' type=<root>.IrType 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
+  FUN name:withinScope visibility:public modality:FINAL <T> ($receiver:<root>.TypeRemapper, irTypeParametersContainer:<root>.IrTypeParametersContainer, fn:kotlin.Function0<T of <root>.withinScope>) returnType:T of <root>.withinScope [inline]
+    TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+    VALUE_PARAMETER name:irTypeParametersContainer index:0 type:<root>.IrTypeParametersContainer
+    VALUE_PARAMETER name:fn index:1 type:kotlin.Function0<T of <root>.withinScope>
+    BLOCK_BODY
+      CALL 'public abstract fun enterScope (irTypeParametersContainer: <root>.IrTypeParametersContainer): kotlin.Unit declared in <root>.TypeRemapper' type=kotlin.Unit origin=null
+        $this: GET_VAR '<this>: <root>.TypeRemapper declared in <root>.withinScope' type=<root>.TypeRemapper origin=null
+        irTypeParametersContainer: GET_VAR 'irTypeParametersContainer: <root>.IrTypeParametersContainer declared in <root>.withinScope' type=<root>.IrTypeParametersContainer origin=null
+      VAR name:result type:T of <root>.withinScope [val]
+        CALL 'public abstract fun invoke (): R of kotlin.Function0 [operator] declared in kotlin.Function0' type=T of <root>.withinScope origin=INVOKE
+          $this: GET_VAR 'fn: kotlin.Function0<T of <root>.withinScope> declared in <root>.withinScope' type=kotlin.Function0<T of <root>.withinScope> origin=null
+      CALL 'public abstract fun leaveScope (): kotlin.Unit declared in <root>.TypeRemapper' type=kotlin.Unit origin=null
+        $this: GET_VAR '<this>: <root>.TypeRemapper declared in <root>.withinScope' type=<root>.TypeRemapper origin=null
+      RETURN type=kotlin.Nothing from='public final fun withinScope <T> (irTypeParametersContainer: <root>.IrTypeParametersContainer, fn: kotlin.Function0<T of <root>.withinScope>): T of <root>.withinScope [inline] declared in <root>'
+        GET_VAR 'val result: T of <root>.withinScope [val] declared in <root>.withinScope' type=T of <root>.withinScope origin=null
diff --git a/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt
new file mode 100644
index 00000000000..d39e2f077df
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt
@@ -0,0 +1,45 @@
+// WITH_RUNTIME
+// FULL_JDK
+
+interface IrType
+
+interface TypeRemapper {
+    fun enterScope(irTypeParametersContainer: IrTypeParametersContainer)
+    fun remapType(type: IrType): IrType
+    fun leaveScope()
+}
+
+interface IrTypeParametersContainer : IrDeclaration, IrDeclarationParent {
+    var typeParameters: List<IrTypeParameter>
+}
+
+interface IrDeclaration
+interface IrTypeParameter : IrDeclaration {
+    val superTypes: MutableList<IrType>
+}
+interface IrDeclarationParent
+
+class DeepCopyIrTreeWithSymbols(private val typeRemapper: TypeRemapper) {
+    private fun copyTypeParameter(declaration: IrTypeParameter): IrTypeParameter = declaration
+
+    fun IrTypeParametersContainer.copyTypeParametersFrom(other: IrTypeParametersContainer) {
+        this.typeParameters = other.typeParameters.map {
+            copyTypeParameter(it)
+        }
+
+        typeRemapper.withinScope(this) {
+            for ((thisTypeParameter, otherTypeParameter) in this.typeParameters.zip(other.typeParameters)) {
+                otherTypeParameter.superTypes.mapTo(thisTypeParameter.superTypes) {
+                    typeRemapper.remapType(it)
+                }
+            }
+        }
+    }
+}
+
+inline fun <T> TypeRemapper.withinScope(irTypeParametersContainer: IrTypeParametersContainer, fn: () -> T): T {
+    enterScope(irTypeParametersContainer)
+    val result = fn()
+    leaveScope()
+    return result
+}
\ No newline at end of file
diff --git a/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.txt b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.txt
new file mode 100644
index 00000000000..83dcadb2d47
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/DeepCopyIrTree.txt
@@ -0,0 +1,237 @@
+FILE fqName:<root> fileName:/DeepCopyIrTree.kt
+  CLASS INTERFACE name:IrType modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrType
+    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:TypeRemapper modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.TypeRemapper
+    FUN name:enterScope visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper, irTypeParametersContainer:<root>.IrTypeParametersContainer) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+      VALUE_PARAMETER name:irTypeParametersContainer index:0 type:<root>.IrTypeParametersContainer
+    FUN name:remapType visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper, type:<root>.IrType) returnType:<root>.IrType
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+      VALUE_PARAMETER name:type index:0 type:<root>.IrType
+    FUN name:leaveScope visibility:public modality:ABSTRACT <> ($this:<root>.TypeRemapper) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+    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:IrTypeParametersContainer modality:ABSTRACT visibility:public superTypes:[<root>.IrDeclaration; <root>.IrDeclarationParent]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrTypeParametersContainer
+    PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-typeParameters> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParametersContainer) returnType:kotlin.collections.List<<root>.IrTypeParameter>
+        correspondingProperty: PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<set-typeParameters> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParametersContainer, <set-?>:kotlin.collections.List<<root>.IrTypeParameter>) returnType:kotlin.Unit
+        correspondingProperty: PROPERTY name:typeParameters visibility:public modality:ABSTRACT [var]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+        VALUE_PARAMETER name:<set-?> index:0 type:kotlin.collections.List<<root>.IrTypeParameter>
+    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>.IrDeclaration
+        public open fun equals (other: kotlin.Any?): kotlin.Boolean [fake_override,operator] declared in <root>.IrDeclarationParent
+      $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>.IrDeclaration
+        public open fun hashCode (): kotlin.Int [fake_override] declared in <root>.IrDeclarationParent
+      $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>.IrDeclaration
+        public open fun toString (): kotlin.String [fake_override] declared in <root>.IrDeclarationParent
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:IrDeclaration modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrDeclaration
+    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:IrTypeParameter modality:ABSTRACT visibility:public superTypes:[<root>.IrDeclaration]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrTypeParameter
+    PROPERTY name:superTypes visibility:public modality:ABSTRACT [val]
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-superTypes> visibility:public modality:ABSTRACT <> ($this:<root>.IrTypeParameter) returnType:kotlin.collections.MutableList<<root>.IrType>
+        correspondingProperty: PROPERTY name:superTypes visibility:public modality:ABSTRACT [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.IrTypeParameter
+    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>.IrDeclaration
+      $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>.IrDeclaration
+      $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>.IrDeclaration
+      $this: VALUE_PARAMETER name:<this> type:kotlin.Any
+  CLASS INTERFACE name:IrDeclarationParent modality:ABSTRACT visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.IrDeclarationParent
+    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:DeepCopyIrTreeWithSymbols modality:FINAL visibility:public superTypes:[kotlin.Any]
+    $this: VALUE_PARAMETER INSTANCE_RECEIVER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+    CONSTRUCTOR visibility:public <> (typeRemapper:<root>.TypeRemapper) returnType:<root>.DeepCopyIrTreeWithSymbols [primary]
+      VALUE_PARAMETER name:typeRemapper index:0 type:<root>.TypeRemapper
+      BLOCK_BODY
+        DELEGATING_CONSTRUCTOR_CALL 'public constructor <init> () [primary] declared in kotlin.Any'
+        INSTANCE_INITIALIZER_CALL classDescriptor='CLASS CLASS name:DeepCopyIrTreeWithSymbols modality:FINAL visibility:public superTypes:[kotlin.Any]'
+    PROPERTY name:typeRemapper visibility:private modality:FINAL [val]
+      FIELD PROPERTY_BACKING_FIELD name:typeRemapper type:<root>.TypeRemapper visibility:private [final]
+        EXPRESSION_BODY
+          GET_VAR 'typeRemapper: <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols.<init>' type=<root>.TypeRemapper origin=INITIALIZE_PROPERTY_FROM_PARAMETER
+      FUN DEFAULT_PROPERTY_ACCESSOR name:<get-typeRemapper> visibility:private modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols) returnType:<root>.TypeRemapper
+        correspondingProperty: PROPERTY name:typeRemapper visibility:private modality:FINAL [val]
+        $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+        BLOCK_BODY
+          RETURN type=kotlin.Nothing from='private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols'
+            GET_FIELD 'FIELD PROPERTY_BACKING_FIELD name:typeRemapper type:<root>.TypeRemapper visibility:private [final]' type=<root>.TypeRemapper origin=null
+              receiver: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.<get-typeRemapper>' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+    FUN name:copyTypeParameter visibility:private modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols, declaration:<root>.IrTypeParameter) returnType:<root>.IrTypeParameter
+      $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+      VALUE_PARAMETER name:declaration index:0 type:<root>.IrTypeParameter
+      BLOCK_BODY
+        RETURN type=kotlin.Nothing from='private final fun copyTypeParameter (declaration: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols'
+          GET_VAR 'declaration: <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParameter' type=<root>.IrTypeParameter origin=null
+    FUN name:copyTypeParametersFrom visibility:public modality:FINAL <> ($this:<root>.DeepCopyIrTreeWithSymbols, $receiver:<root>.IrTypeParametersContainer, other:<root>.IrTypeParametersContainer) returnType:kotlin.Unit
+      $this: VALUE_PARAMETER name:<this> type:<root>.DeepCopyIrTreeWithSymbols
+      $receiver: VALUE_PARAMETER name:<this> type:<root>.IrTypeParametersContainer
+      VALUE_PARAMETER name:other index:0 type:<root>.IrTypeParametersContainer
+      BLOCK_BODY
+        CALL 'public abstract fun <set-typeParameters> (<set-?>: kotlin.collections.List<<root>.IrTypeParameter>): kotlin.Unit declared in <root>.IrTypeParametersContainer' type=kotlin.Unit origin=EQ
+          $this: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+          <set-?>: CALL 'public final fun map <T, R> (transform: kotlin.Function1<T of kotlin.collections.map, R of kotlin.collections.map>): kotlin.collections.List<R of kotlin.collections.map> [inline] declared in kotlin.collections' type=kotlin.collections.List<<root>.IrTypeParameter> origin=null
+            <T>: <root>.IrTypeParameter
+            <R>: <root>.IrTypeParameter
+            $receiver: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+              $this: GET_VAR 'other: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+            transform: FUN_EXPR type=kotlin.Function1<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=LAMBDA
+              FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.IrTypeParameter) returnType:<root>.IrTypeParameter
+                VALUE_PARAMETER name:it index:0 type:<root>.IrTypeParameter
+                BLOCK_BODY
+                  RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom'
+                    CALL 'private final fun copyTypeParameter (declaration: <root>.IrTypeParameter): <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.IrTypeParameter origin=null
+                      $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+                      declaration: GET_VAR 'it: <root>.IrTypeParameter declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+        CALL 'public final fun withinScope <T> (irTypeParametersContainer: <root>.IrTypeParametersContainer, fn: kotlin.Function0<T of <root>.withinScope>): T of <root>.withinScope [inline] declared in <root>' type=kotlin.Unit origin=null
+          <T>: kotlin.Unit
+          $receiver: CALL 'private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.TypeRemapper origin=GET_PROPERTY
+            $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+          irTypeParametersContainer: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+          fn: FUN_EXPR type=kotlin.Function0<kotlin.Unit> origin=LAMBDA
+            FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> () returnType:kotlin.Unit
+              BLOCK_BODY
+                BLOCK type=kotlin.Unit origin=FOR_LOOP
+                  VAR FOR_LOOP_ITERATOR name:tmp_0 type:kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val]
+                    CALL 'public abstract fun iterator (): kotlin.collections.Iterator<E of kotlin.collections.List> [operator] declared in kotlin.collections.List' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=FOR_LOOP_ITERATOR
+                      $this: CALL 'public final fun zip <T, R> (other: kotlin.collections.Iterable<R of kotlin.collections.zip>): kotlin.collections.List<kotlin.Pair<T of kotlin.collections.zip, R of kotlin.collections.zip>> [infix] declared in kotlin.collections' type=kotlin.collections.List<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                        <T>: <root>.IrTypeParameter
+                        <R>: <root>.IrTypeParameter
+                        $receiver: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+                          $this: GET_VAR '<this>: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+                        other: CALL 'public abstract fun <get-typeParameters> (): kotlin.collections.List<<root>.IrTypeParameter> declared in <root>.IrTypeParametersContainer' type=kotlin.collections.List<<root>.IrTypeParameter> origin=GET_PROPERTY
+                          $this: GET_VAR 'other: <root>.IrTypeParametersContainer declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.IrTypeParametersContainer origin=null
+                  WHILE label=null origin=FOR_LOOP_INNER_WHILE
+                    condition: CALL 'public abstract fun hasNext (): kotlin.Boolean [operator] declared in kotlin.collections.Iterator' type=kotlin.Boolean origin=FOR_LOOP_HAS_NEXT
+                      $this: GET_VAR 'val tmp_0: kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                    body: BLOCK type=kotlin.Unit origin=FOR_LOOP_INNER_WHILE
+                      VAR IR_TEMPORARY_VARIABLE name:tmp_1 type:kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val]
+                        CALL 'public abstract fun next (): T of kotlin.collections.Iterator [operator] declared in kotlin.collections.Iterator' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=FOR_LOOP_NEXT
+                          $this: GET_VAR 'val tmp_0: kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.collections.Iterator<kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter>> origin=null
+                      VAR name:thisTypeParameter type:<root>.IrTypeParameter [val]
+                        CALL 'public final fun component1 (): A of kotlin.Pair [operator] declared in kotlin.Pair' type=<root>.IrTypeParameter origin=COMPONENT_N(index=1)
+                          $this: GET_VAR 'val tmp_1: kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=null
+                      VAR name:otherTypeParameter type:<root>.IrTypeParameter [val]
+                        CALL 'public final fun component2 (): B of kotlin.Pair [operator] declared in kotlin.Pair' type=<root>.IrTypeParameter origin=COMPONENT_N(index=2)
+                          $this: GET_VAR 'val tmp_1: kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=kotlin.Pair<<root>.IrTypeParameter, <root>.IrTypeParameter> origin=null
+                      BLOCK type=kotlin.Unit origin=null
+                        TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
+                          CALL 'public final fun mapTo <T, R, C> (destination: C of kotlin.collections.mapTo, transform: kotlin.Function1<T of kotlin.collections.mapTo, R of kotlin.collections.mapTo>): C of kotlin.collections.mapTo [inline] declared in kotlin.collections' type=kotlin.collections.MutableList<<root>.IrType> origin=null
+                            <T>: <root>.IrType
+                            <R>: <root>.IrType
+                            <C>: kotlin.collections.MutableList<<root>.IrType>
+                            $receiver: CALL 'public abstract fun <get-superTypes> (): kotlin.collections.MutableList<<root>.IrType> declared in <root>.IrTypeParameter' type=kotlin.collections.MutableList<<root>.IrType> origin=GET_PROPERTY
+                              $this: GET_VAR 'val otherTypeParameter: <root>.IrTypeParameter [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+                            destination: CALL 'public abstract fun <get-superTypes> (): kotlin.collections.MutableList<<root>.IrType> declared in <root>.IrTypeParameter' type=kotlin.collections.MutableList<<root>.IrType> origin=GET_PROPERTY
+                              $this: GET_VAR 'val thisTypeParameter: <root>.IrTypeParameter [val] declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>' type=<root>.IrTypeParameter origin=null
+                            transform: FUN_EXPR type=kotlin.Function1<<root>.IrType, <root>.IrType> origin=LAMBDA
+                              FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (it:<root>.IrType) returnType:<root>.IrType
+                                VALUE_PARAMETER name:it index:0 type:<root>.IrType
+                                BLOCK_BODY
+                                  RETURN type=kotlin.Nothing from='local final fun <anonymous> (it: <root>.IrType): <root>.IrType declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>'
+                                    CALL 'public abstract fun remapType (type: <root>.IrType): <root>.IrType declared in <root>.TypeRemapper' type=<root>.IrType origin=null
+                                      $this: CALL 'private final fun <get-typeRemapper> (): <root>.TypeRemapper declared in <root>.DeepCopyIrTreeWithSymbols' type=<root>.TypeRemapper origin=GET_PROPERTY
+                                        $this: GET_VAR '<this>: <root>.DeepCopyIrTreeWithSymbols declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom' type=<root>.DeepCopyIrTreeWithSymbols origin=null
+                                      type: GET_VAR 'it: <root>.IrType declared in <root>.DeepCopyIrTreeWithSymbols.copyTypeParametersFrom.<anonymous>.<anonymous>' type=<root>.IrType 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
+  FUN name:withinScope visibility:public modality:FINAL <T> ($receiver:<root>.TypeRemapper, irTypeParametersContainer:<root>.IrTypeParametersContainer, fn:kotlin.Function0<T of <root>.withinScope>) returnType:T of <root>.withinScope [inline]
+    TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?]
+    $receiver: VALUE_PARAMETER name:<this> type:<root>.TypeRemapper
+    VALUE_PARAMETER name:irTypeParametersContainer index:0 type:<root>.IrTypeParametersContainer
+    VALUE_PARAMETER name:fn index:1 type:kotlin.Function0<T of <root>.withinScope>
+    BLOCK_BODY
+      CALL 'public abstract fun enterScope (irTypeParametersContainer: <root>.IrTypeParametersContainer): kotlin.Unit declared in <root>.TypeRemapper' type=kotlin.Unit origin=null
+        $this: GET_VAR '<this>: <root>.TypeRemapper declared in <root>.withinScope' type=<root>.TypeRemapper origin=null
+        irTypeParametersContainer: GET_VAR 'irTypeParametersContainer: <root>.IrTypeParametersContainer declared in <root>.withinScope' type=<root>.IrTypeParametersContainer origin=null
+      VAR name:result type:T of <root>.withinScope [val]
+        CALL 'public abstract fun invoke (): R of kotlin.Function0 [operator] declared in kotlin.Function0' type=T of <root>.withinScope origin=INVOKE
+          $this: GET_VAR 'fn: kotlin.Function0<T of <root>.withinScope> declared in <root>.withinScope' type=kotlin.Function0<T of <root>.withinScope> origin=VARIABLE_AS_FUNCTION
+      CALL 'public abstract fun leaveScope (): kotlin.Unit declared in <root>.TypeRemapper' type=kotlin.Unit origin=null
+        $this: GET_VAR '<this>: <root>.TypeRemapper declared in <root>.withinScope' type=<root>.TypeRemapper origin=null
+      RETURN type=kotlin.Nothing from='public final fun withinScope <T> (irTypeParametersContainer: <root>.IrTypeParametersContainer, fn: kotlin.Function0<T of <root>.withinScope>): T of <root>.withinScope [inline] declared in <root>'
+        GET_VAR 'val result: T of <root>.withinScope [val] declared in <root>.withinScope' type=T of <root>.withinScope origin=null
diff --git a/compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java b/compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
index 15068dfb356..90c639365b0 100644
--- a/compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/ir/IrTextTestCaseGenerated.java
@@ -1711,6 +1711,11 @@ public class IrTextTestCaseGenerated extends AbstractIrTextTestCase {
             KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/testData/ir/irText/firProblems"), Pattern.compile("^(.+)\\.kt$"), null, true);
         }
 
+        @TestMetadata("DeepCopyIrTree.kt")
+        public void testDeepCopyIrTree() throws Exception {
+            runTest("compiler/testData/ir/irText/firProblems/DeepCopyIrTree.kt");
+        }
+
         @TestMetadata("deprecated.kt")
         public void testDeprecated() throws Exception {
             runTest("compiler/testData/ir/irText/firProblems/deprecated.kt");