diff --git a/tests/pos/i5962.scala b/tests/pos/i5962.scala
new file mode 100644
index 000000000000..835b32f0a0c2
--- /dev/null
+++ b/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 }
+
+}