Projections in immediate arguments to supertypes prohibited

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

@@ -106,6 +106,16 @@ public class ClassDescriptorResolver {
             JetTypeReference typeReference = delegationSpecifier.getTypeReference();
             if (typeReference != null) {
                 result.add(resolver.resolveType(extensibleScope, typeReference));
+                JetTypeElement typeElement = typeReference.getTypeElement();
+                if (typeElement instanceof JetUserType) {
+                    JetUserType userType = (JetUserType) typeElement;
+                    List<JetTypeProjection> typeArguments = userType.getTypeArguments();
+                    for (JetTypeProjection typeArgument : typeArguments) {
+                        if (typeArgument.getProjectionKind() != JetProjectionKind.NONE) {
+                            trace.getErrorHandler().genericError(typeArgument.getProjectionNode(), "Projections are not allowed for immediate arguments of a supertype");
+                        }
+                    }
+                }
             }
             else {
                 result.add(ErrorUtils.createErrorType("No type reference"));

idea/testData/checker/ProjectionsInSupertypes.jet

@@ -0,0 +1,6 @@
+trait A<T> {}
+trait B<T> {}
+trait C<T> {}
+trait D<T> {}
+
+trait Test : A<<error>in</error> Int>, B<<error>out</error> T>, C<<error>*</error>>, D<Int> {}