diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala index b5abd2158a4a..40fbc80f85f0 100644 --- a/compiler/src/dotty/tools/dotc/core/Types.scala +++ b/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 diff --git a/compiler/src/dotty/tools/dotc/transform/PatternMatcherOld.scala b/compiler/src/dotty/tools/dotc/transform/PatternMatcherOld.scala index d2059a1f3342..55d0d7a0c034 100644 --- a/compiler/src/dotty/tools/dotc/transform/PatternMatcherOld.scala +++ b/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) diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala index d37002094372..b1d1d77215ba 100644 --- a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala +++ b/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