aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/src/dotty/tools/dotc/transform/patmat/Space.scala')
-rw-r--r--compiler/src/dotty/tools/dotc/transform/patmat/Space.scala9
1 files changed, 0 insertions, 9 deletions
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
index 41196014e..d76ad2b64 100644
--- a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
+++ b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -395,15 +395,6 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
}
}
- // simplify p.Case$.This.m => p.Case.m
- def simplifyPrefix(tp: Type): Type = tp match {
- case tp @ ThisType(mcls: TypeRef) if mcls.symbol.sourceModule.exists =>
- TermRef(simplifyPrefix(mcls.prefix), mcls.symbol.sourceModule.asTerm)
- case tp @ TypeRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix))
- case tp @ TermRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix))
- case _ => tp
- }
-
/** Refine tp2 based on tp1
*
* E.g. if `tp1` is `Option[Int]`, `tp2` is `Some`, then return