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 2540bef commit b4a6958Copy full SHA for b4a6958
compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -345,7 +345,7 @@ class SpaceEngine(implicit ctx: Context) extends SpaceLogic {
345
OrType(erase(tp1), erase(tp2))
346
case AndType(tp1, tp2) =>
347
AndType(erase(tp1), erase(tp2))
348
- case tp: RefinedType =>
+ case tp: RefinedType if tp.refinedName.isTermName => // see pos/dependent-extractors.scala
349
tp.derivedRefinedType(erase(tp.parent), tp.refinedName, WildcardType)
350
case _ => tp
351
}
0 commit comments