From 18e54322b8f1bfb6849ef6375244fdf378cf3284 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Wed, 4 Mar 2015 17:27:55 +0100
Subject: [PATCH] regression test for KT-4281

---
 .../testData/codegen/box/regressions/kt4281.kt    | 15 +++++++++++++++
 .../generated/BlackBoxCodegenTestGenerated.java   |  6 ++++++
 2 files changed, 21 insertions(+)
 create mode 100644 compiler/testData/codegen/box/regressions/kt4281.kt

diff --git a/compiler/testData/codegen/box/regressions/kt4281.kt b/compiler/testData/codegen/box/regressions/kt4281.kt
new file mode 100644
index 00000000000..ff5af0bfef5
--- /dev/null
+++ b/compiler/testData/codegen/box/regressions/kt4281.kt
@@ -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"
+}
diff --git a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java
index 657fd83ca09..c1403ffc2cc 100644
--- a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxCodegenTestGenerated.java
@@ -6061,6 +6061,12 @@ public class BlackBoxCodegenTestGenerated extends AbstractBlackBoxCodegenTest {
             doTest(fileName);
         }
 
+        @TestMetadata("kt4281.kt")
+        public void testKt4281() throws Exception {
+            String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/box/regressions/kt4281.kt");
+            doTest(fileName);
+        }
+
         @TestMetadata("kt4682.kt")
         public void testKt4682() throws Exception {
             String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/box/regressions/kt4682.kt");