regression test for KT-4281

2015-03-04 17:27:55 +01:00
parent a2e22c6d20
commit 18e54322b8
2 changed files with 21 additions and 0 deletions
@@ -0,0 +1,15 @@
+abstract class C {
+    fun test(x: Int) {
+        if (x == 0) return
+        if (this is D) {
+            (this: D).test(x - 1)
+        }
+    }
+}
+
+class D: C()
+
+fun box(): String {
+    D().test(10)
+    return "OK"
+}