diff --git a/tests/pos-macros/i11782.scala b/tests/pos-macros/i11782.scala new file mode 100644 index 000000000000..d4a6c0a63ba2 --- /dev/null +++ b/tests/pos-macros/i11782.scala @@ -0,0 +1,12 @@ +import scala.quoted._ + +trait X[A] { def x(a: A): Boolean } + +def hmm[A](using Quotes, Type[A]): Expr[Unit] = { + def sadFace(f: (Expr[A]) => Expr[Boolean]): Expr[X[A]] = '{ + new X[A] { + override def x(a: A) = ${f('a)} + } + } + '{()} +} \ No newline at end of file