From ed1d5f310951715d95873c56f64195ac3ee45817 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 13 May 2014 17:03:36 +0200 Subject: Fix of pos/t2454 "_" type paraeters need to be given fresh names. --- tests/new/t2421.scala | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 tests/new/t2421.scala (limited to 'tests/new/t2421.scala') 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 -} -- cgit v1.2.3