Fix quoted match inline bindings leak

And make `inlineContext` resilient to previous errors (i.e. never add an empty call).

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -1234,12 +1234,15 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
   override def inlineContext(call: Tree)(implicit ctx: Context): Context = {
     // We assume enclosingInlineds is already normalized, and only process the new call with the head.
     val oldIC = enclosingInlineds
-    val newIC = (call, oldIC) match {
-      case (t, t1 :: ts2) if t.isEmpty =>
-        assert(!t1.isEmpty)
-        ts2
-      case _ => call :: oldIC
-    }
+
+    val newIC =
+      if call.isEmpty then
+        oldIC match
+          case t1 :: ts2 => ts2
+          case _ => oldIC
+      else
+        call :: oldIC
+
     ctx.fresh.setProperty(InlinedCalls, newIC)
   }
 

library/src/scala/internal/quoted/Matcher.scala

@@ -33,7 +33,7 @@ private[quoted] object Matcher {
       if (hasTypeSplices) {
         val ctx: Context = internal.Context_GADT_setFreshGADTBounds(rootContext)
         given Context = ctx
-        val matchings = scrutineeTerm.underlyingArgument =?= patternTerm.underlyingArgument
+        val matchings = scrutineeTerm =?= patternTerm
         // After matching and doing all subtype checks, we have to approximate all the type bindings
         // that we have found and seal them in a quoted.Type
         matchings.asOptionOfTuple.map { tup =>
@@ -44,7 +44,7 @@ private[quoted] object Matcher {
         }
       }
       else {
-        scrutineeTerm.underlyingArgument =?= patternTerm.underlyingArgument
+        scrutineeTerm =?= patternTerm
       }
     }
 
@@ -286,6 +286,9 @@ private[quoted] object Matcher {
           case (_, Annotated(tpt, _)) =>
             scrutinee =?= tpt
 
+          case (NamedArg(name1, arg1), NamedArg(name2, arg2)) if name1 == name2 =>
+            arg1 =?= arg2
+
           // No Match
           case _ =>
             if (debug)

library/src/scala/quoted/util/ExprMap.scala

@@ -98,7 +98,7 @@ trait ExprMap {
         case Repeated(elems, elemtpt) =>
           Repeated.copy(tree)(transformTerms(elems, elemtpt.tpe), elemtpt)
         case Inlined(call, bindings, expansion) =>
-          Inlined.copy(tree)(call, transformDefinitions(bindings), transformTerm(expansion, tpe)/*()call.symbol.localContext)*/)
+          Inlined.copy(tree)(call, transformDefinitions(bindings), transformTerm(expansion, tpe))// (using call.symbol.localContext)
       }
 
       def transformTerm(tree: Term, tpe: Type)(using ctx: Context): Term =