Use frozenConstraint in tryHandleCaptureVars

scala · Jan 7, 2025 · 2799c27 · 2799c27
1 parent b814261
commit 2799c27
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -336,7 +336,7 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
      */
     inline def tryHandleCaptureVars: Int =
       if !(isCaptureCheckingOrSetup && isCapSet(tp1) && isCapSet(tp2)) then -1
-      else if (captureSet(tp1).subCaptures(captureSet(tp2), true).isOK) then 1
+      else if (captureSet(tp1).subCaptures(captureSet(tp2), frozenConstraint).isOK) then 1
       else 0
 
     def firstTry: Boolean = tp2 match {