We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0c4a06f commit 473e7fcCopy full SHA for 473e7fc
compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -395,15 +395,6 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
395
}
396
397
398
- // simplify p.Case$.This.m => p.Case.m
399
- def simplifyPrefix(tp: Type): Type = tp match {
400
- case tp @ ThisType(mcls: TypeRef) if mcls.symbol.sourceModule.exists =>
401
- TermRef(simplifyPrefix(mcls.prefix), mcls.symbol.sourceModule.asTerm)
402
- case tp @ TypeRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix))
403
- case tp @ TermRef(prefix, _) => tp.derivedSelect(simplifyPrefix(prefix))
404
- case _ => tp
405
- }
406
-
407
/** Refine tp2 based on tp1
408
*
409
* E.g. if `tp1` is `Option[Int]`, `tp2` is `Some`, then return
0 commit comments