diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-05-06 19:06:57 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-05-23 16:11:45 +0200 |
| commit | bfe9faa637bce1fc499a33beb979ce9dcd35e983 (patch) | |
| tree | 5de21c1dedabb974987ba663cbfb7b04d6802b45 /tests/neg/equality.scala | |
| parent | 7a264eee7c903295693ea14e075267dfceea8db9 (diff) | |
| download | dotty-bfe9faa637bce1fc499a33beb979ce9dcd35e983.tar.gz dotty-bfe9faa637bce1fc499a33beb979ce9dcd35e983.tar.bz2 dotty-bfe9faa637bce1fc499a33beb979ce9dcd35e983.zip | |
Make Eq contravariant
(and add it to commit set).
Diffstat (limited to 'tests/neg/equality.scala')
| -rw-r--r-- | tests/neg/equality.scala | 9 |
1 files changed, 4 insertions, 5 deletions
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 |