Fix of pos/t2454

"_" type paraeters need to be given fresh names.

1 files changed, 0 insertions, 14 deletions

diff --git a/tests/new/t2421.scala b/tests/new/t2421.scala
deleted file mode 100644
index 2544a1cb3..000000000
--- a/tests/new/t2421.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-object Test {
-  abstract class <~<[-From, +To] extends (From => To)
-  implicit def trivial[A]: A <~< A = sys.error("")
-
-
-  trait Forcible[T]
-  implicit val forcibleInt: (Int <~< Forcible[Int]) = sys.error("")
-
-  def headProxy[P <: Forcible[Int]](implicit w: Int <~< P): P = sys.error("")
-
-  headProxy
-  // trivial[Int] should not be considered a valid implicit, since w would have type Int <~< Int,
-  // and headProxy's type parameter P cannot be instantiated to Int
-}