update documentation of recheck about top-level boxes

scala · Oct 16, 2022 · 8bab429 · 8bab429
1 parent 4805007
commit 8bab429
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala b/compiler/src/dotty/tools/dotc/cc/CheckCaptures.scala
@@ -520,15 +520,15 @@ class CheckCaptures extends Recheck, SymTransformer:
         case _: RefTree => true
         case _          => false
 
-    /** If expected type `pt` is boxed, don't propagate free variables.
+    /** If expected type `pt` is boxed and the tree is a function or a reference,
+     *  don't propagate free variables.
      *  Otherwise, if the result type is boxed, simulate an unboxing by
      *  adding all references in the boxed capture set to the current environment.
      */
     override def recheck(tree: Tree, pt: Type = WildcardType)(using Context): Type =
       if tree.isTerm && pt.isBoxedCapturing then
         val saved = curEnv
         if tree.isRefTree || tree.isFunctionLiteral then
-          curEnv = Env(curEnv.owner, CaptureSet.Var(), isBoxed = true, curEnv)
           curEnv = Env(curEnv.owner, nestedInOwner = false, CaptureSet.Var(), isBoxed = true, curEnv)
         try super.recheck(tree, pt)
         finally curEnv = saved