Update typeArgs in QuotesImpl to match the behaviour of argInfos

compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala

@@ -1909,8 +1909,9 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
         def substituteTypes(from: List[Symbol], to: List[TypeRepr]): TypeRepr =
           self.subst(from, to)
 
-        def typeArgs: List[TypeRepr] = self match
+        def typeArgs: List[TypeRepr] = self.stripped match
           case AppliedType(_, args) => args
+          case FlexibleType(underlying) => underlying.typeArgs
           case _ => List.empty
       end extension
     end TypeReprMethods

tests/neg-macros/i23008.check

@@ -5,8 +5,8 @@
   |                 Exception occurred while executing macro expansion.
   |                 java.lang.IllegalArgumentException: requirement failed: value of StringConstant cannot be `null`
   |                 	at scala.Predef$.require(Predef.scala:393)
+  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2541)
   |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2540)
-  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2539)
   |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:82)
   |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:80)
   |                 	at scala.quoted.Expr$.apply(Expr.scala:72)

tests/pos-macros/typeArgs/i24006_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted._
+
+inline def eval[T](x: List[T]) = ${ evalImpl[T]('x) }
+inline def eval2[T](inline x: List[T]) = ${ evalImpl[T]('x) }
+
+def evalImpl[A](x: Expr[List[A]])(using Quotes): Expr[Unit] =
+  import quotes.reflect.*
+  println(x.asTerm.tpe.widen)
+  x.asTerm.tpe.widen.typeArgs.head
+  '{()}

tests/pos-macros/typeArgs/i24006_2.scala

@@ -0,0 +1,3 @@
+def main() =
+  eval(List(1) :+ 4)
+  eval2(List(1) :+ 4)