diff --git a/tests/init/pos/recursive.scala b/tests/init/pos/recursive.scala
new file mode 100644
index 000000000000..74b658330e03
--- /dev/null
+++ b/tests/init/pos/recursive.scala
@@ -0,0 +1,9 @@
+class A {
+  def p(cb: Int => Int): Int = cb(0)
+
+  val q: List[Int] = {
+    def f(x: Int): Int => Int = y => p(f(y))
+    List(1, 2).map(f(3))
+  }
+  val n: Int = 4
+}
\ No newline at end of file