From eaddf5db2d8c4db50e13e2e934c142617ee07eef Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Mon, 6 Aug 2012 10:42:23 +0300
Subject: [PATCH] KT-2480 test for obsolete issue

---
 compiler/testData/codegen/regressions/kt2480.kt     | 13 +++++++++++++
 .../org/jetbrains/jet/codegen/ClassGenTest.java     |  5 +++++
 2 files changed, 18 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt2480.kt

diff --git a/compiler/testData/codegen/regressions/kt2480.kt b/compiler/testData/codegen/regressions/kt2480.kt
new file mode 100644
index 00000000000..fececbc3e78
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt2480.kt
@@ -0,0 +1,13 @@
+fun box() = Class().printSome()
+
+public abstract class AbstractClass<T> {
+    public fun printSome() : T = some
+
+    public abstract val some: T
+}
+
+public class Class: AbstractClass<String>() {
+    public override val some: String
+        get() = "OK"
+
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
index 46b7220e934..d4d9f678d25 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/ClassGenTest.java
@@ -513,4 +513,9 @@ public class ClassGenTest extends CodegenTestCase {
         createEnvironmentWithMockJdkAndIdeaAnnotations(ConfigurationKind.JDK_ONLY);
         blackBoxFile("regressions/kt2417.kt");
     }
+
+    public void testKt2480() {
+        createEnvironmentWithMockJdkAndIdeaAnnotations(ConfigurationKind.JDK_ONLY);
+        blackBoxFile("regressions/kt2480.kt");
+    }
 }