We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents fdbdb70 + c5badad commit 8ad520fCopy full SHA for 8ad520f
tests/pos/i9361.scala
@@ -0,0 +1,9 @@
1
+// https://github.com/lampepfl/dotty/issues/9361
2
+
3
+import scala.quoted._
4
5
+trait CPM[F[_]]
6
7
+def matchTerm(t: Expr[Any])(using qctx: Quotes): Unit =
8
+ t match
9
+ case '{ ??? : CPM[m2] } => ???
0 commit comments