KT-1149 static type info field for unarameterized traits

compiler/backend/src/org/jetbrains/jet/codegen/ImplementationBodyCodegen.java

@@ -942,11 +942,11 @@ public class ImplementationBodyCodegen extends ClassBodyCodegen {
     }
 
     private void generateGetTypeInfo() {
-        if(myClass instanceof JetClass && ((JetClass)myClass).isTrait())
-            return;
-
         JetType defaultType = descriptor.getDefaultType();
         if(CodegenUtil.requireTypeInfoConstructorArg(defaultType)) {
+            if(myClass instanceof JetClass && ((JetClass)myClass).isTrait())
+                return;
+
             if(!CodegenUtil.hasDerivedTypeInfoField(defaultType)) {
                 v.newField(myClass, ACC_PROTECTED, JvmAbi.TYPE_INFO_FIELD, "Ljet/TypeInfo;", null, null);
 
@@ -975,7 +975,10 @@ public class ImplementationBodyCodegen extends ClassBodyCodegen {
             }
         }
         else {
-            genGetStaticGetTypeInfoMethod();
+            if (!(myClass instanceof JetClass) || !((JetClass) myClass).isTrait()) {
+                genGetStaticGetTypeInfoMethod();
+            }
+
             staticTypeInfoField();
         }
     }

testlib/test/regressions/Kt1149.kt

@@ -0,0 +1,23 @@
+package test.regressions.kt1149
+
+import java.util.ArrayList
+import std.util.*
+import junit.framework.*
+
+public trait SomeTrait {
+    fun foo()
+}
+
+class Kt1149Test() : TestCase() {
+    fun testMe() {
+        val list = ArrayList<SomeTrait>()
+        var res = ArrayList<String>()
+        list.add(object : SomeTrait {
+            override fun foo() {
+                res.add("anonymous.foo()")
+            }
+        })
+        list.foreach{ it.foo() }
+        Assert.assertEquals("anonymous.foo()", res[0])
+    }
+}