old constraint system is not removed for a while

compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/inference/ConstraintSystemWithPriorities.java

@@ -33,7 +33,7 @@ import static org.jetbrains.jet.lang.resolve.calls.inference.ConstraintType.PARA
 /**
  * @author abreslav
  */
-public class ConstraintSystemWithPriorities implements ConstraintSystem {
+public class ConstraintSystemWithPriorities {
 
     public static final Comparator<SubtypingConstraint> SUBTYPING_CONSTRAINT_ORDER = new Comparator<SubtypingConstraint>() {
         @Override
@@ -107,7 +107,6 @@ public class ConstraintSystemWithPriorities implements ConstraintSystem {
         return typeValue;
     }
 
-    @Override
     public void registerTypeVariable(@NotNull TypeParameterDescriptor typeParameterDescriptor, @NotNull Variance positionVariance) {
         assert !unknownTypes.containsKey(typeParameterDescriptor);
         TypeValue typeValue = new TypeValue(typeParameterDescriptor, positionVariance);
@@ -124,7 +123,6 @@ public class ConstraintSystemWithPriorities implements ConstraintSystem {
         return unknownType;
     }
 
-    @Override
     public void addSubtypingConstraint(@NotNull SubtypingConstraint constraint) {
         constraintQueue.add(constraint);
     }
@@ -258,7 +256,6 @@ public class ConstraintSystemWithPriorities implements ConstraintSystem {
         return true;
     }
 
-    @Override
     @NotNull
     public ConstraintSystemSolution solve() {
         Solution solution = new Solution();

compiler/frontend/src/org/jetbrains/jet/lang/types/checker/TypeCheckingProcedure.java

@@ -34,7 +34,7 @@ public class TypeCheckingProcedure {
     // This method returns the supertype of the first parameter that has the same constructor
     // as the second parameter, applying the substitution of type arguments to it
     @Nullable
-    private static JetType findCorrespondingSupertype(@NotNull JetType subtype, @NotNull JetType supertype) {
+    public static JetType findCorrespondingSupertype(@NotNull JetType subtype, @NotNull JetType supertype) {
         TypeConstructor constructor = subtype.getConstructor();
         if (constructor.equals(supertype.getConstructor())) {
             return subtype;

compiler/tests/org/jetbrains/jet/codegen/StdlibTest.java

@@ -324,4 +324,10 @@ public class StdlibTest extends CodegenTestCase {
     public void testInvokeAnnotationMethod() {
         blackBoxFile("regressions/kt1932.kt");
     }
+
+
+    public void testKt1800() {
+        blackBoxFile("regressions/kt1800.kt");
+    }
+
 }