diff options
Diffstat (limited to 'tests/untried/pos/t2421.scala')
-rw-r--r-- | tests/untried/pos/t2421.scala | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/tests/untried/pos/t2421.scala b/tests/untried/pos/t2421.scala deleted file mode 100644 index 2544a1cb3..000000000 --- a/tests/untried/pos/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 -} |