Loosen the "dxoes not match previously inferred" criterion

The expected type here is still the one using cap, not fresh. So it's OK if the actual
type uses fresh where the expected uses cap.

Author: odersky

compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala

@@ -1076,9 +1076,12 @@ class CheckCaptures extends Recheck, SymTransformer:
       tree.tpt match
         case tpt: InferredTypeTree if !canUseInferred =>
           val expected = tpt.tpe.dropAllRetains
-          todoAtPostCheck += (() => checkConformsExpr(tp, expected, tree.rhs, addenda(expected)))
-            // The check that inferred <: expected is done after recheck so that it
-            // does not interfere with normal rechecking by constraining capture set variables.
+          todoAtPostCheck += { () =>
+            withCapAsRoot:
+              checkConformsExpr(tp, expected, tree.rhs, addenda(expected))
+              // The check that inferred <: expected is done after recheck so that it
+              // does not interfere with normal rechecking by constraining capture set variables.
+          }
         case _ =>
       tp
     end checkInferredResult