diff --git a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
index 87a865f81e1a..542e841b948f 100644
--- a/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
+++ b/compiler/src/scala/quoted/runtime/impl/QuotesImpl.scala
@@ -1829,6 +1829,7 @@ class QuotesImpl private (using val ctx: Context) extends Quotes, QuoteUnpickler
 
         def typeArgs: List[TypeRepr] = self match
           case AppliedType(_, args) => args
+          case AnnotatedType(parent, _) => parent.typeArgs
           case _ => List.empty
       end extension
     end TypeReprMethods
diff --git a/tests/neg-macros/i23008.check b/tests/neg-macros/i23008.check
index 7c6140c8b2d7..52e2c42d24b0 100644
--- a/tests/neg-macros/i23008.check
+++ b/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:337)
+  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2424)
   |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2423)
-  |                 	at scala.quoted.runtime.impl.QuotesImpl$reflect$StringConstant$.apply(QuotesImpl.scala:2422)
   |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:80)
   |                 	at scala.quoted.ToExpr$StringToExpr.apply(ToExpr.scala:78)
   |                 	at scala.quoted.Expr$.apply(Expr.scala:70)
diff --git a/tests/new/test.scala b/tests/new/test.scala
new file mode 100644
index 000000000000..a55b76a6ed30
--- /dev/null
+++ b/tests/new/test.scala
@@ -0,0 +1,7 @@
+object e:
+  def foldRL(f: Int => Int)(g: String => Int) = ???
+
+
+val xs = e.foldRL(i => i + 1)(s => s.length)
+
+
diff --git a/tests/run-macros/i24006/Eval.scala b/tests/run-macros/i24006/Eval.scala
new file mode 100644
index 000000000000..f32a066e4c40
--- /dev/null
+++ b/tests/run-macros/i24006/Eval.scala
@@ -0,0 +1,11 @@
+
+import scala.quoted._
+
+object Eval:
+
+  inline def eval[T](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
+    '{()}
diff --git a/tests/run-macros/i24006/Test.scala b/tests/run-macros/i24006/Test.scala
new file mode 100644
index 000000000000..f9d3223b9811
--- /dev/null
+++ b/tests/run-macros/i24006/Test.scala
@@ -0,0 +1,3 @@
+import Eval.eval
+
+@main def Test() = eval(List(1) :+ 4)