From 4f385e89d350cffe9e92422167ae16e1aa861ed1 Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Fri, 3 Aug 2012 08:01:25 +0300
Subject: [PATCH] test for unreproducable KT-2509

---
 compiler/testData/codegen/regressions/kt2509.kt      | 12 ++++++++++++
 .../org/jetbrains/jet/codegen/PropertyGenTest.java   |  6 ++++++
 2 files changed, 18 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt2509.kt

diff --git a/compiler/testData/codegen/regressions/kt2509.kt b/compiler/testData/codegen/regressions/kt2509.kt
new file mode 100644
index 00000000000..95369a2ee34
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt2509.kt
@@ -0,0 +1,12 @@
+fun box() : String {
+        A()
+        return "OK"
+}
+
+class A: B() {
+        override var foo = array<Int?>(12, 13)
+}
+
+abstract class B {
+        abstract var foo: Array<Int?>
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/codegen/PropertyGenTest.java b/compiler/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
index 998586ab3e5..721fad29a49 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/PropertyGenTest.java
@@ -241,4 +241,10 @@ public class PropertyGenTest extends CodegenTestCase {
         createEnvironmentWithFullJdk();
         blackBoxFile("regressions/kt1714_minimal.kt");
     }
+
+    public void testKt2509() throws Exception {
+        createEnvironmentWithFullJdk();
+        blackBoxFile("regressions/kt2509.kt");
+    }
+
 }