diff --git a/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/TypeTransformingVisitor.java b/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/TypeTransformingVisitor.java index 3bb68d12be9..6eec6b2425d 100644 --- a/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/TypeTransformingVisitor.java +++ b/compiler/frontend.java/src/org/jetbrains/jet/lang/resolve/java/kotlinSignature/TypeTransformingVisitor.java @@ -186,12 +186,14 @@ public class TypeTransformingVisitor extends JetVisitor { throw new AlternativeSignatureMismatchException("Projection kind '%s' is redundant", altProjectionKind, DescriptorUtils.getFQName(typeConstructor.getDeclarationDescriptor())); } + else { + altProjectionKind = projectionKind; + } } else { throw new AlternativeSignatureMismatchException("Projection kind '%s' is conflicting with variance of %s", altProjectionKind, DescriptorUtils.getFQName(typeConstructor.getDeclarationDescriptor())); } - altProjectionKind = projectionKind; } } else {