test for unreproducable KT-2509

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?>
+}

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");
+    }
+
 }