fix: make the pattern matcher understand this types

Author: hamzaremmal

compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala

@@ -482,7 +482,7 @@ object PatternMatcher {
               onSuccess
             )
           }
-        case WildcardPattern() =>
+        case WildcardPattern() | This(_) =>
           onSuccess
         case SeqLiteral(pats, _) =>
           matchElemsPlan(scrutinee, pats, exact = true, onSuccess)

tests/run/i23875.check

@@ -0,0 +1,3 @@
+true
+false
+false

tests/run/i23875.scala

@@ -0,0 +1,11 @@
+object Foo {
+  override def equals(that : Any) = that match {
+    case _: this.type => true
+    case _            => false
+  }
+}
+
+@main def Test =
+  println(Foo.equals(Foo))
+  println(Foo.equals(new AnyRef {}))
+  println(Foo.equals(0))