test for KT-511

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"

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());