test/files/run/bug576-regress.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

class A {
  override def equals(other: Any) = other match {
    case _: this.type => true
    case _            => false
  }
}

object Test {
  def main(args: Array[String]): Unit = {
    val x1 = new A
    val x2 = new A
    assert(x1 == x1)
    assert(x1 != x2)
    assert(x1 != ())
    assert(x2 != x1)
  }
}