Merge pull request #5964 from dotty-staging/fix-#5962

Fix #5962: Add regression test

Author: nicolasstucki

tests/pos/i5962.scala

@@ -0,0 +1,13 @@
+import scala.quoted._
+import scala.tasty._
+
+class MatchFactory1[T, S[_]] {
+  def f: Int = 2
+}
+
+object MatcherFactory1 {
+
+  def impl[T: Type, S[_], M >: MatchFactory1[T, S] <: MatchFactory1[T, S] : Type](self: Expr[M])(implicit refl: Reflection, tpS: Type[S[T]]) =
+    '{ val a = ${self}; a.f }
+
+}