A case for extending a raw Comparator

compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/JavaTypeTransformer.java

@@ -161,7 +161,14 @@ public class JavaTypeTransformer {
                     if (classType.isRaw()) {
                         List<TypeParameterDescriptor> parameters = classData.getTypeConstructor().getParameters();
                         for (TypeParameterDescriptor parameter : parameters) {
-                            arguments.add(SubstitutionUtils.makeStarProjection(parameter));
+                            TypeProjection starProjection = SubstitutionUtils.makeStarProjection(parameter);
+                            if (howThisTypeIsUsed == SUPERTYPE) {
+                                // projections are not allowed in immediate arguments of supertypes
+                                arguments.add(new TypeProjection(starProjection.getType()));
+                            }
+                            else {
+                                arguments.add(starProjection);
+                            }
                         }
                     }
                     else {

compiler/testData/loadJavaCustom/rawSuperType/RawSuperType.java

@@ -0,0 +1,20 @@
+package test;
+
+import java.lang.Object;
+import java.lang.Override;
+import java.lang.UnsupportedOperationException;
+
+public class RawSuperType {
+
+    public interface Super<T> {
+        void foo(T t);
+    }
+
+    public class Derived implements Super {
+        @Override
+        public void foo(Object o) {
+            throw new UnsupportedOperationException();
+        }
+    }
+
+}

compiler/testData/loadJavaCustom/rawSuperType/RawSuperType.txt

@@ -0,0 +1,12 @@
+namespace test
+
+public open class test.RawSuperType : java.lang.Object {
+    public final /*constructor*/ fun <init>(): test.RawSuperType
+    public open class test.RawSuperType.Derived : test.RawSuperType.Super<jet.Any?> {
+        public final /*constructor*/ fun <init>(): test.RawSuperType.Derived
+        public open override /*1*/ fun foo(/*0*/ p0: jet.Any?): jet.Tuple0
+    }
+    public abstract trait test.RawSuperType.Super</*0*/ T : jet.Any?> : java.lang.Object {
+        public abstract fun foo(/*0*/ p0: T?): jet.Tuple0
+    }
+}

compiler/tests/org/jetbrains/jet/jvm/compiler/LoadJavaCustomTest.java

@@ -111,4 +111,10 @@ public final class LoadJavaCustomTest extends KotlinTestWithEnvironment {
         doTest(dir + "/expected.txt",
                javaDir + "/MyEnum.java");
     }
+
+    public void testRawSuperType() throws Exception {
+        String dir = PATH + "/rawSuperType/";
+        doTest(dir + "RawSuperType.txt",
+               dir + "RawSuperType.java");
+    }
 }