Merge pull request #3732 from dotty-staging/fix-#3452

Fix #3452: Add regression tests

Author: smarter

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
+}