From 337a8938860deb4845ed962867a845f4f236563c Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Thu, 21 Feb 2019 16:10:04 +0100
Subject: [PATCH 1/2] Fix #5962: Add regression

---
 tests/pos/i5962.scala | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/pos/i5962.scala

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

From c15b184169ea968a78499fef24c8451b381f12a7 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolasstucki@gmail.com>
Date: Mon, 4 Mar 2019 15:28:39 +0100
Subject: [PATCH 2/2] Update i5962.scala

---
 tests/pos/i5962.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/pos/i5962.scala b/tests/pos/i5962.scala
index 60785dc4ca8e..835b32f0a0c2 100644
--- a/tests/pos/i5962.scala
+++ b/tests/pos/i5962.scala
@@ -8,6 +8,6 @@ class MatchFactory1[T, S[_]] {
 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 }
+    '{ val a = ${self}; a.f }
 
 }