Make derivedAnnotation of universal the identity

Fixes #14782
scala · May 29, 2022 · aea61fa · aea61fa
1 parent 2344839
commit aea61fa
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/cc/CaptureAnnotation.scala b/compiler/src/dotty/tools/dotc/cc/CaptureAnnotation.scala
@@ -29,7 +29,8 @@ case class CaptureAnnotation(refs: CaptureSet, kind: CapturingKind) extends Anno
     if kind == CapturingKind.ByName then defn.RetainsByNameAnnot else defn.RetainsAnnot
 
   override def derivedAnnotation(tree: Tree)(using Context): Annotation =
-    unsupported("derivedAnnotation(Tree)")
+    if refs == CaptureSet.universal then this
+    else unsupported("derivedAnnotation(Tree)")
 
   def derivedAnnotation(refs: CaptureSet, kind: CapturingKind)(using Context): Annotation =
     if (this.refs eq refs) && (this.kind == kind) then this

diff --git a/tests/pos/i14782.scala b/tests/pos/i14782.scala
@@ -0,0 +1,8 @@
+object BugExample {
+  val urls: List[String] = List("any_url")
+  val closures: List[Unit => Unit] =
+    urls.map(url => _ => {
+      println("Scraping " + url)
+    })
+  for (closure <- closures) closure(())
+}