diff --git a/compiler/testData/ir/irText/classes/kt43217.kt.txt b/compiler/testData/ir/irText/classes/kt43217.kt.txt
new file mode 100644
index 00000000000..a094ba43c2d
--- /dev/null
+++ b/compiler/testData/ir/irText/classes/kt43217.kt.txt
@@ -0,0 +1,41 @@
+class A {
+  constructor() /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  private val b: <no name provided>
+    field = { // BLOCK
+      local class <no name provided> : DoubleExpression {
+        constructor() /* primary */ {
+          super/*DoubleExpression*/()
+          /* <init>() */
+
+        }
+
+        override fun get(): Double {
+          return 0.0D
+        }
+
+      }
+
+      <no name provided>()
+    }
+    private get
+
+}
+
+class C : DoubleExpression {
+  constructor() /* primary */ {
+    super/*DoubleExpression*/()
+    /* <init>() */
+
+  }
+
+  override fun get(): Double {
+    return 0.0D
+  }
+
+}
+
diff --git a/compiler/testData/ir/irText/firProblems/recursiveCapturedTypeInPropertyReference.kt.txt b/compiler/testData/ir/irText/firProblems/recursiveCapturedTypeInPropertyReference.kt.txt
new file mode 100644
index 00000000000..f8dbe9e5048
--- /dev/null
+++ b/compiler/testData/ir/irText/firProblems/recursiveCapturedTypeInPropertyReference.kt.txt
@@ -0,0 +1,23 @@
+interface Something {
+
+}
+
+interface Recursive<R> where R : Recursive<R>, R : Something {
+  abstract val symbol: AbstractSymbol<R>
+    abstract get
+
+}
+
+abstract class AbstractSymbol<E> where E : Recursive<E>, E : Something {
+  constructor() /* primary */ {
+    super/*Any*/()
+    /* <init>() */
+
+  }
+
+  fun foo(list: List<Any>) {
+    val result: List<AbstractSymbol<out Recursive<*>>> = list.filterIsInstance<Recursive<*>>().map<Recursive<*>, AbstractSymbol<out Recursive<*>>>(transform = Recursive::symbol)
+  }
+
+}
+