From a24d845bd0c7bb8f7cee87993715d53e97143d36 Mon Sep 17 00:00:00 2001
From: Michael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Thu, 9 Apr 2015 13:09:03 +0300
Subject: [PATCH] Test for KT-7009: VerifyError: Bad type on operand stack in
 daload

 #KT-7009 Obsolete
---
 compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt    | 4 ++++
 .../generated/BlackBoxWithStdlibCodegenTestGenerated.java   | 6 ++++++
 2 files changed, 10 insertions(+)
 create mode 100644 compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt

diff --git a/compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt b/compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt
new file mode 100644
index 00000000000..d1c7fb6b78b
--- /dev/null
+++ b/compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt
@@ -0,0 +1,4 @@
+fun box() : String {
+    val value = (1 to doubleArray(1.0)).second[0]
+    return if (value == 1.0) "OK" else "fail"
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
index 64ff550ddbe..b518bb78c82 100644
--- a/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
+++ b/compiler/tests/org/jetbrains/kotlin/codegen/generated/BlackBoxWithStdlibCodegenTestGenerated.java
@@ -233,6 +233,12 @@ public class BlackBoxWithStdlibCodegenTestGenerated extends AbstractBlackBoxCode
             doTestWithStdlib(fileName);
         }
 
+        @TestMetadata("kt7009.kt")
+        public void testKt7009() throws Exception {
+            String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/arrays/kt7009.kt");
+            doTestWithStdlib(fileName);
+        }
+
         @TestMetadata("kt7338.kt")
         public void testKt7338() throws Exception {
             String fileName = JetTestUtils.navigationMetadata("compiler/testData/codegen/boxWithStdlib/arrays/kt7338.kt");