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