From bfe9faa637bce1fc499a33beb979ce9dcd35e983 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Fri, 6 May 2016 19:06:57 +0200 Subject: Make Eq contravariant (and add it to commit set). --- tests/neg/equality.scala | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'tests/neg/equality.scala') diff --git a/tests/neg/equality.scala b/tests/neg/equality.scala index a32db57c5..4a77a2d25 100644 --- a/tests/neg/equality.scala +++ b/tests/neg/equality.scala @@ -10,10 +10,9 @@ object equality { case class Some[+T](x: T) extends Option[T] case object None extends Option[Nothing] - implicit def eqStr: Eq[Str, Str] = Eq() - implicit def eqNum: Eq[Num, Num] = Eq() - implicit def eqOption[T, U, OT <: Option[T], OU <: Option[U]] - (implicit e: Eq[T, U]): Eq[OT, OU] = Eq() + implicit def eqStr: Eq[Str, Str] = Eq + implicit def eqNum: Eq[Num, Num] = Eq + implicit def eqOption[T, U](implicit e: Eq[T, U]): Eq[Option[T], Option[U]] = Eq def main(args: Array[String]): Unit = { Some(Other(3)) == None @@ -44,7 +43,7 @@ object equality { class Fruit - implicit def eqFruit[A <: Fruit, B <: Fruit]: Eq[A, B] = Eq() + implicit def eqFruit: Eq[Fruit, Fruit] = Eq class Apple extends Fruit class Pear extends Fruit -- cgit v1.2.3