Don't do post checks in inlined code

Capability references in inlined code might end up not being tracked or being redundant. Don't flag this as an error.
scala · Jul 14, 2024 · 0d96406 · 0d96406
1 parent 18778a4
commit 0d96406
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/cc/Setup.scala b/compiler/src/dotty/tools/dotc/cc/Setup.scala
@@ -753,7 +753,7 @@ class Setup extends PreRecheck, SymTransformer, SetupAPI:
 
   /** Check well formed at post check time */
   private def checkWellformedLater(parent: Type, ann: Tree, tpt: Tree)(using Context): Unit =
-    if !tpt.span.isZeroExtent then
+    if !tpt.span.isZeroExtent && enclosingInlineds.isEmpty then
       todoAtPostCheck += (ctx1 =>
         checkWellformedPost(parent, ann, tpt)(using ctx1.withOwner(ctx.owner)))
 

diff --git a/tests/pos-custom-args/captures/inline-problem.scala b/tests/pos-custom-args/captures/inline-problem.scala
@@ -0,0 +1,5 @@
+trait Listener[+T]
+
+inline def consume[T](f: T => Unit): Listener[T]^{f} = ???
+
+val consumePure = consume(_ => ())