Add regression test

Author: nicolasstucki

tests/pos-macros/captured-type/Macro_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted.*
+
+inline def foo[U](u: U): U = ${ fooImpl[U]('u) }
+
+def fooImpl[U: Type](u: Expr[U])(using Quotes): Expr[U] = '{
+  def f[T](x: T): T = ${ identity('{ x: T }) }
+  f[U]($u)
+}

tests/pos-macros/captured-type/Test_2.scala

@@ -0,0 +1,3 @@
+def test =
+  foo(1)
+  // foo("abc")