test: add in a regression test for #9361 (#17486)

nicolasstucki · web-flow · commit 8ad520f20aab · 2023-05-12T22:11:05.000+02:00
Closes #9361
diff --git a/tests/pos/i9361.scala 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] } => ???
