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.

Author: odersky

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)))
 

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(_ => ())