diff --git a/idea/testData/checker/RecursiveTypeInference.jet b/idea/testData/checker/RecursiveTypeInference.jet
new file mode 100644
index 00000000000..a73cf01cc0e
--- /dev/null
+++ b/idea/testData/checker/RecursiveTypeInference.jet
@@ -0,0 +1,42 @@
+namespace a {
+    val foo = <error>bar()</error>
+
+    fun bar() = foo
+}
+
+namespace b {
+    fun foo() = <error>bar()</error>
+
+    fun bar() = foo()
+}
+
+namespace c {
+    fun bazz() = <error>bar()</error>
+
+    fun foo() = bazz()
+
+    fun bar() = foo()
+}
+
+namespace ok {
+
+    namespace a {
+        val foo = bar()
+
+        fun bar() : Int = foo
+    }
+
+    namespace b {
+        fun foo() : Int = bar()
+
+        fun bar() = foo()
+    }
+
+    namespace c {
+        fun bazz() = bar()
+
+        fun foo() : Int = bazz()
+
+        fun bar() = foo()
+    }
+}
\ No newline at end of file