address counter-example of two unrelated traits

Author: liufengyun

src/dotty/tools/dotc/core/Types.scala

@@ -811,7 +811,7 @@ object Types {
     }
 
     /** Eliminate anonymous classes */
-    final def elimAnonymousClass(implicit ctx: Context): Type = this match {
+    final def deAnonymize(implicit ctx: Context): Type = this match {
       case tp:TypeRef if tp.symbol.isAnonymousClass =>
         tp.symbol.asClass.typeRef.asSeenFrom(tp.prefix, tp.symbol.owner)
       case tp => tp

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

@@ -1305,7 +1305,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
     def translateMatch(match_ : Match): Tree = {
       val Match(sel, cases) = match_
 
-      val selectorTp = sel.tpe.widen.elimAnonymousClass/*withoutAnnotations*/
+      val selectorTp = sel.tpe.widen.deAnonymize/*withoutAnnotations*/
 
       val selectorSym = freshSym(sel.pos, selectorTp, "selector")