From 4c7ca9a0180002a89b1edb01e5d99487e10d403e Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Fri, 17 May 2019 12:32:28 +0200
Subject: [PATCH] Fix #4147: Add test case

18ce5d2aaa1a492db0f1557ebe62d0943b90f8c9 fixed it.
---
 tests/pos/i4147.scala | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/pos/i4147.scala

diff --git a/tests/pos/i4147.scala b/tests/pos/i4147.scala
new file mode 100644
index 000000000000..0395e4121e0a
--- /dev/null
+++ b/tests/pos/i4147.scala
@@ -0,0 +1,10 @@
+trait Higher[F[_]]
+trait Super[A]
+trait Sub[A] extends Super[A]
+
+object Test {
+  implicit def higherSub: Higher[Sub] = ???
+  implicit def deriv[F[_]](implicit bla: Higher[F]): F[String] = ???
+
+  val x: Super[String] = deriv
+}