1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala
index 3a4a2305d..9807af901 100644
--- a/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -372,6 +372,8 @@ class TypeComparer(initctx: Context) extends DotClass {
       else {
         val saved = constraint
         val savedSuccessCount = successCount
+        val savedRLC = Types.reverseLevelCheck // !!! TODO: remove
+        Types.reverseLevelCheck = false
         try {
           recCount = recCount + 1
           val result =
@@ -413,6 +415,8 @@ class TypeComparer(initctx: Context) extends DotClass {
             constraint = saved
             successCount = savedSuccessCount
             throw ex
+        } finally {
+          Types.reverseLevelCheck = savedRLC
         }
       }
     }