diff --git a/core/compiler.common/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt b/core/compiler.common/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
index 53155f75e27..f1685a85fb3 100644
--- a/core/compiler.common/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
+++ b/core/compiler.common/src/org/jetbrains/kotlin/types/model/TypeSystemContext.kt
@@ -347,7 +347,11 @@ interface TypeSystemInferenceExtensionContext : TypeSystemContext, TypeSystemBui
 
     private fun areIncompatibleSuperTypes(firstType: KotlinTypeMarker, secondType: KotlinTypeMarker): Boolean =
         firstType.typeConstructor() == secondType.typeConstructor()
-                && !AbstractTypeChecker.equalTypes(context = this, firstType, secondType)
+                && !AbstractTypeChecker.equalTypes(
+            newTypeCheckerState(errorTypesEqualToAnything = true, stubTypesEqualToAnything = true),
+            firstType,
+            secondType
+        )
 
     // interface A<T>
     // interface B : A<Int>