diff --git a/tests/pos/i9361.scala b/tests/pos/i9361.scala new file mode 100644 index 000000000000..18efd203d885 --- /dev/null +++ b/tests/pos/i9361.scala @@ -0,0 +1,9 @@ +// https://github.com/lampepfl/dotty/issues/9361 + +import scala.quoted._ + +trait CPM[F[_]] + +def matchTerm(t: Expr[Any])(using qctx: Quotes): Unit = + t match + case '{ ??? : CPM[m2] } => ???