Refined crash avoidance related to self type te...

Refined crash avoidance related to self type tests in anonymous classes
as introduced for #576. Now it really only excludes anonymous classes.
Suddenly, this works:

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

Who will be the first to roll out some reference equality in the
this.type style? No review.

1 files changed, 17 insertions, 0 deletions

diff --git a/test/files/run/bug576-regress.scala b/test/files/run/bug576-regress.scala
new file mode 100644
index 0000000000..b608dd5a42
--- /dev/null
+++ b/test/files/run/bug576-regress.scala
@@ -0,0 +1,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)
+  }
+}
\ No newline at end of file