Merge pull request #2900 from dotty-staging/remove-deanonymize

remove deAnonymize

Author: liufengyun

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

@@ -951,13 +951,6 @@ object Types {
         this
     }
 
-    /** Eliminate anonymous classes */
-    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
-    }
-
     private def dealias(keepAnnots: Boolean)(implicit ctx: Context): Type = this match {
       case tp: TypeRef =>
         if (tp.symbol.isClass) tp

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

@@ -1202,7 +1202,7 @@ class PatternMatcherOld extends MiniPhaseTransform with DenotTransformer {
     def translateMatch(match_ : Match): Tree = {
       val Match(sel, cases) = match_
 
-      val selectorTp = sel.tpe.widen.deAnonymize/*withoutAnnotations*/
+      val selectorTp = sel.tpe.widen/*withoutAnnotations*/
 
       val selectorSym = freshSym(sel.pos, selectorTp, PatMatSelectorName)
 

compiler/src/dotty/tools/dotc/transform/patmat/Space.scala

@@ -704,7 +704,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
     }
 
     val Match(sel, cases) = tree
-    val res = isCheckable(sel.tpe.widen.deAnonymize.dealiasKeepAnnots)
+    val res = isCheckable(sel.tpe.widen.dealiasKeepAnnots)
     debug.println(s"checkable: ${sel.show} = $res")
     res
   }
@@ -770,7 +770,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
 
   def checkExhaustivity(_match: Match): Unit = {
     val Match(sel, cases) = _match
-    val selTyp = sel.tpe.widen.deAnonymize.dealias
+    val selTyp = sel.tpe.widen.dealias
 
 
     val patternSpace = cases.map({ x =>
@@ -787,7 +787,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
   def checkRedundancy(_match: Match): Unit = {
     val Match(sel, cases) = _match
     // ignore selector type for now
-    // val selTyp = sel.tpe.widen.deAnonymize.dealias
+    // val selTyp = sel.tpe.widen.dealias
 
     if (cases.length == 1) return