Add comment

scala · Nov 10, 2024 · 65a1e80 · 65a1e80
1 parent 4c8bd42
commit 65a1e80
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/ElimByName.scala b/compiler/src/dotty/tools/dotc/transform/ElimByName.scala
@@ -103,6 +103,9 @@ class ElimByName extends MiniPhase, InfoTransformer:
     Closure(meth,
         _ => arg.changeOwnerAfter(ctx.owner, meth, thisPhase),
         targetType = defn.ByNameFunction(argType)
+          // Note: this will forget any captures on the original by-name type
+          // But that's not a problem since `targetType` is an inferred type, so
+          // all capture sets will be erased on Setup.
       ).withSpan(arg.span)
 
   private def isByNameRef(tree: Tree)(using Context): Boolean =