From 9f32a56a07087871d757d2db6c0b2172dfe93817 Mon Sep 17 00:00:00 2001
From: Alex Tkachman <alex.tkachman@gmail.com>
Date: Sat, 17 Dec 2011 12:40:01 +0200
Subject: [PATCH] test for KT-511

---
 compiler/testData/codegen/regressions/kt511.jet  | 16 ++++++++++++++++
 .../org/jetbrains/jet/codegen/TypeInfoTest.java  |  5 +++++
 2 files changed, 21 insertions(+)
 create mode 100644 compiler/testData/codegen/regressions/kt511.jet

diff --git a/compiler/testData/codegen/regressions/kt511.jet b/compiler/testData/codegen/regressions/kt511.jet
new file mode 100644
index 00000000000..a9bc915346c
--- /dev/null
+++ b/compiler/testData/codegen/regressions/kt511.jet
@@ -0,0 +1,16 @@
+namespace one_extends_base
+
+open class Base<T>(name : T?) {
+    var myName : T?
+    {
+        $myName = name
+    }
+}
+open class One<T, K>(name : T?, second : K?) : Base<T?>(name) {
+    var mySecond : K?
+    {
+        $mySecond = second
+    }
+}
+
+fun box() = if(One<String, Int>("ola", 0).myName == "ola") "OK" else "fail"
diff --git a/compiler/tests/org/jetbrains/jet/codegen/TypeInfoTest.java b/compiler/tests/org/jetbrains/jet/codegen/TypeInfoTest.java
index b2396c96af6..3949cf9b8c6 100644
--- a/compiler/tests/org/jetbrains/jet/codegen/TypeInfoTest.java
+++ b/compiler/tests/org/jetbrains/jet/codegen/TypeInfoTest.java
@@ -138,6 +138,11 @@ public class TypeInfoTest extends CodegenTestCase {
 //        System.out.println(generateToText());
     }
 
+    public void testKt511() throws Exception {
+        blackBoxFile("regressions/kt511.jet");
+//        System.out.println(generateToText());
+    }
+
     public void testInner() throws Exception {
         blackBoxFile("typeInfo/inner.jet");
         System.out.println(generateToText());