From 9d229ad27133c88ddf6d1b77eafa3b9f78655480 Mon Sep 17 00:00:00 2001
From: Dmitry Jemerov <yole@jetbrains.com>
Date: Tue, 24 Mar 2015 20:49:53 +0100
Subject: [PATCH] regression test for KT-4259

---
 .../testData/codegen/boxWithStdlib/regressions/kt4259.kt    | 6 ++++++
 .../generated/BlackBoxWithStdlibCodegenTestGenerated.java   | 6 ++++++
 2 files changed, 12 insertions(+)
 create mode 100644 compiler/testData/codegen/boxWithStdlib/regressions/kt4259.kt

diff --git a/compiler/testData/codegen/boxWithStdlib/regressions/kt4259.kt b/compiler/testData/codegen/boxWithStdlib/regressions/kt4259.kt
new file mode 100644
index 00000000000..7d609780d22
--- /dev/null
+++ b/compiler/testData/codegen/boxWithStdlib/regressions/kt4259.kt
@@ -0,0 +1,6 @@
+fun box(): String {
+    val s: String? = "a"
+    val o: Char? = s?.charAt(0)
+    val c: Any? = o?.javaClass
+    return if (c !=  null) "OK"  else "fail"
+}
diff --git a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
index 03411563816..8d54ed47114 100644
--- a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
@@ -3068,6 +3068,12 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
             doTestWithStdlib(fileName);
         }
 
+        @TestMetadata("kt4259.kt")
+        public void testKt4259() throws Exception {
+            String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/regressions/kt4259.kt");
+            doTestWithStdlib(fileName);
+        }
+
         @TestMetadata("kt4262.kt")
         public void testKt4262() throws Exception {
             String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/regressions/kt4262.kt");