Fix leaks of non-inlined arguments

Author: nicolasstucki

tests/neg-macros/macros-in-same-project-6/Foo.scala

@@ -5,7 +5,7 @@ object Foo {
   inline def myMacro(): Unit = ${ aMacroImplementation }
 
   def aMacroImplementation(using qctx: QuoteContext) : Expr[Unit] = {
-    import qctx.tasty.{given _, _}
+    import qctx.tasty._
     error("some error", rootPosition)
     throw new NoClassDefFoundError("Bar$")
   }

tests/pos-macros/i8325/Macro_1.scala

@@ -12,7 +12,7 @@ object A:
   def pure[A](a:A):A = ???
 
   def transformImplExpr[A:Type](using qctx: QuoteContext)(expr: Expr[A]): Expr[A] = {
-     import qctx.tasty.{given _, _}
+     import qctx.tasty._
      expr.unseal match {
          case Inlined(x,y,z) => transformImplExpr(z.seal.asInstanceOf[Expr[A]])
          case Apply(fun,args) =>  '{  A.pure(${Apply(fun,args).seal.asInstanceOf[Expr[A]]}) }

tests/pos-macros/i8325b/Macro_1.scala

@@ -12,7 +12,7 @@ object A:
   def pure[A](a:A):A = ???
 
   def transformImplExpr[A:Type](using qctx: QuoteContext)(expr: Expr[A]): Expr[A] = {
-     import qctx.tasty.{given _, _}
+     import qctx.tasty._
      expr.unseal match {
          case Inlined(x,y,z) => transformImplExpr(z.seal.asInstanceOf[Expr[A]])
          case r@Apply(fun,args) =>  '{

tests/pos/i7887.scala

@@ -1,5 +1,5 @@
 def typed[A](using t: quoted.Type[A], qctx: quoted.QuoteContext): Unit = {
-  import qctx.tasty.{given _, _}
+  import qctx.tasty._
   '{
     type T = $t
     ${'{???}.cast[T]}

tests/run-macros/i6253-b/quoted_1.scala

@@ -3,7 +3,7 @@ import scala.quoted._
 
 object Macros {
 
-  inline def (self: => StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
+  inline def (inline self: StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
 
   private def impl(self: Expr[StringContext], args: Expr[Seq[String]])(using QuoteContext): Expr[String] = {
     self match {

tests/run-macros/i6253/quoted_1.scala

@@ -3,7 +3,7 @@ import scala.quoted._
 
 object Macros {
 
-  inline def (self: => StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
+  inline def (inline self: StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
 
   private def impl(self: Expr[StringContext], args: Expr[Seq[String]])(using QuoteContext): Expr[String] = {
     self match {

tests/run-macros/i6803/Macro_1.scala

@@ -9,7 +9,7 @@ object AsObject {
     def unsafe(i: Int): LineNo = new LineNo(i)
     inline given LineNo = ${impl}
     private def impl(using qctx: QuoteContext): Expr[LineNo] = {
-      import qctx.tasty.{given _, _}
+      import qctx.tasty._
       '{unsafe(${Expr(rootPosition.startLine)})}
     }
   }
@@ -21,7 +21,7 @@ package AsPackage {
     def unsafe(i: Int): LineNo = new LineNo(i)
     inline given LineNo = ${impl}
     private def impl(using qctx: QuoteContext): Expr[LineNo] = {
-      import qctx.tasty.{given _, _}
+      import qctx.tasty._
       '{unsafe(${Expr(rootPosition.startLine)})}
     }
   }

tests/run-macros/i7025/Macros_1.scala

@@ -4,7 +4,7 @@ object Macros {
   inline def debug: Unit = ${Macros.debugImpl}
 
   def debugImpl(using qctx: QuoteContext): Expr[Unit] = {
-    import qctx.tasty.{given _, _}
+    import qctx.tasty._
 
     def nearestEnclosingDef(owner: Symbol): Symbol =
       if owner.isClassDef then owner

tests/run-macros/quote-matcher-string-interpolator/quoted_1.scala

@@ -4,7 +4,7 @@ import scala.quoted._
 
 object Macros {
 
-  inline def (self: => StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
+  inline def (inline self: StringContext) xyz(args: => String*): String = ${impl('self, 'args)}
 
   private def impl(self: Expr[StringContext], args: Expr[Seq[String]])(using QuoteContext): Expr[String] = {
     self match {

tests/run-macros/quote-matcher-symantics-2/quoted_1.scala

@@ -4,11 +4,11 @@ import scala.quoted.unsafe._
 
 object Macros {
 
-  inline def liftString(a: => DSL): String = ${impl(StringNum, 'a)}
+  inline def liftString(inline a: DSL): String = ${impl(StringNum, 'a)}
 
-  inline def liftCompute(a: => DSL): Int = ${impl(ComputeNum, 'a)}
+  inline def liftCompute(inline a: DSL): Int = ${impl(ComputeNum, 'a)}
 
-  inline def liftAST(a: => DSL): ASTNum = ${impl(ASTNum, 'a)}
+  inline def liftAST(inline a: DSL): ASTNum = ${impl(ASTNum, 'a)}
 
   private def impl[T: Type](sym: Symantics[T], a: Expr[DSL])(using qctx: QuoteContext): Expr[T] = {
 

tests/run-macros/quote-matcher-symantics-3/quoted_1.scala

@@ -5,7 +5,7 @@ import scala.quoted.unsafe._
 object Macros {
 
 
-  inline def lift[R[_]](sym: Symantics { type Repr = R })(a: => Int): R[Int] = ${impl('sym, 'a)}
+  inline def lift[R[_]](sym: Symantics { type Repr = R })(inline a: Int): R[Int] = ${impl('sym, 'a)}
 
 
   private def impl[R[_]: Type](sym: Expr[Symantics { type Repr[X] = R[X] }], expr: Expr[Int])(using QuoteContext): Expr[R[Int]] = {

tests/run-macros/quoted-matching-docs-2/Macro_1.scala

@@ -3,8 +3,8 @@ import scala.quoted._
 
 def sum(args: Int*): Int = args.sum
 
-inline def showOptimize(arg: Int): String = ${ showOptimizeExpr('arg) }
-inline def optimize(arg: Int): Int = ${ optimizeExpr('arg) }
+inline def showOptimize(inline arg: Int): String = ${ showOptimizeExpr('arg) }
+inline def optimize(inline arg: Int): Int = ${ optimizeExpr('arg) }
 
 private def showOptimizeExpr(body: Expr[Int])(using QuoteContext): Expr[String] =
   Expr(optimizeExpr(body).show)

tests/run-macros/quoted-matching-docs/Macro_1.scala

@@ -10,7 +10,7 @@ private def sumExprShow(argsExpr: Expr[Seq[Int]]) (using QuoteContext): Expr[Str
   Expr(sumExpr(argsExpr).show)
 
 private def sumExpr(argsExpr: Expr[Seq[Int]])(using qctx: QuoteContext) : Expr[Int] = {
-  import qctx.tasty.{given _, _}
+  import qctx.tasty._
   UnsafeExpr.underlyingArgument(argsExpr) match {
     case Varargs(Consts(args)) => // args is of type Seq[Int]
       Expr(args.sum) // precompute result of sum

tests/run-macros/quoted-pattern-type/Macro_1.scala

@@ -2,7 +2,7 @@ import scala.quoted._
 
 object Lib {
 
-  inline def foo[T](arg: => T): T = ${ impl('arg) }
+  inline def foo[T](inline arg: T): T = ${ impl('arg) }
 
   private def impl[T: Type](arg: Expr[T])(using QuoteContext): Expr[T] = {
     arg match {

tests/run-macros/refined-selectable-macro/Macro_1.scala

@@ -8,11 +8,11 @@ object Macro {
 
   trait SelectableRecordCompanion[T] {
     protected def fromUntypedTuple(elems: (String, Any)*): T
-    inline def fromTuple[T <: Tuple](s: T) <: Any = ${ fromTupleImpl('s, '{ (x: Array[(String, Any)]) => fromUntypedTuple(x: _*) } ) }
+    inline def fromTuple[T <: Tuple](inline s: T) <: Any = ${ fromTupleImpl('s, '{ (x: Array[(String, Any)]) => fromUntypedTuple(x: _*) } ) }
   }
 
   private def toTupleImpl(s: Expr[Selectable])(using qctx:QuoteContext) : Expr[Tuple] = {
-    import qctx.tasty.{given _, _}
+    import qctx.tasty._
 
     val repr = s.unseal.tpe.widenTermRefExpr.dealias
 
@@ -46,7 +46,7 @@ object Macro {
   }
 
   private def fromTupleImpl[T: Type](s: Expr[Tuple], newRecord: Expr[Array[(String, Any)] => T])(using qctx:QuoteContext) : Expr[Any] = {
-    import qctx.tasty.{given _, _}
+    import qctx.tasty._
 
     val repr = s.unseal.tpe.widenTermRefExpr.dealias
 

tests/run-macros/requiredSymbols/Macro_1.scala

@@ -3,7 +3,7 @@ import scala.quoted._
 object Macro {
   inline def foo: String = ${ fooImpl }
   def fooImpl(using qctx: QuoteContext) : Expr[String] = {
-    import qctx.tasty.{given _, _}
+    import qctx.tasty._
     val list = List(
       rootContext.requiredPackage("java"),
       rootContext.requiredPackage("java.lang"),