More extensive tests

Try both sides of ==. Try directly implemented as well as inherited methods.

Author: odersky

tests/run/vc-equals.scala

@@ -7,10 +7,43 @@ object Test extends App {
     }
   }
 
-  val c = new C(Array(1, 2,3))
+  def test1() = {
+    val c = new C(Array(1, 2,3))
 
-  assert(c `equals` new C(Array(1, 2, 3)))
-  assert(c == (new C(Array(1, 2, 3)): Any))
-  assert(c == new C(Array(1, 2, 3)))
+    assert(c `equals` new C(Array(1, 2, 3)))
+    assert(c == (new C(Array(1, 2, 3)): Any))
+    assert(c == new C(Array(1, 2, 3)))
+
+    assert(new C(Array(1, 2, 3)) == c)
+    assert((new C(Array(1, 2, 3)): Any) == c)
+    assert(new C(Array(1, 2, 3)) == c)
+  }
+
+  trait Eql extends Any {
+     def deep: Any
+     override def equals(that: Any) = that match {
+      case that: D => deep == that.s.deep
+      case _ => false
+    }
+  }
+
+  class D(val s: Array[Int]) extends AnyVal with Eql {
+    def deep = s.deep
+  }
+
+  def test2() = {
+    val c = new D(Array(1, 2,3))
+
+    assert(c `equals` new D(Array(1, 2, 3)))
+    assert(c == (new D(Array(1, 2, 3)): Any))
+    assert(c == new D(Array(1, 2, 3)))
+
+    assert(new D(Array(1, 2, 3)) == c)
+    assert((new D(Array(1, 2, 3)): Any) == c)
+    assert(new D(Array(1, 2, 3)) == c)
+  }
+
+  test1()
+  test2()
 
 }