diff --git a/tests/neg/i3452.scala b/tests/neg/i3452.scala
new file mode 100644
index 000000000000..c018c386b17d
--- /dev/null
+++ b/tests/neg/i3452.scala
@@ -0,0 +1,18 @@
+object Test {
+  case class Tuple2K[H[_], T[_], X](h: H[X], t: T[X])
+
+  trait TC[A]
+
+  implicit def case1[F[_]](implicit t: => TC[F[Any]]): TC[Tuple2K[[_] => Any, F, Any]] = ???
+  implicit def case2[A, F[_]](implicit r: TC[F[Any]]): TC[A] = ???
+
+  implicitly[TC[Int]] // error
+}
+object Test2 {
+  trait TC[A]
+
+  implicit def case1[F[_]](implicit t: => TC[F[Any]]): TC[String] = ???
+  implicit def case2[G[_]](implicit r: TC[G[Any]]): TC[Int] = ???
+
+  implicitly[TC[Int]] // error
+}