Merge pull request #545 from scala/backport-lts-3.3-23634

tgodzik · web-flow · commit d248ce368ab6 · 2025-08-08T15:53:30.000+02:00
Backport "Fix scala#23576" to 3.3 LTS
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -663,7 +663,7 @@ object SpaceEngine {
           val refined = trace(i"refineUsingParent($tp, $sym1, $mixins)")(TypeOps.refineUsingParent(tp, sym1, mixins))
 
           def containsUninhabitedField(tp: Type): Boolean =
-            tp.fields.exists { field =>
+            !tp.typeSymbol.is(ModuleClass) && tp.fields.exists { field =>
               !field.symbol.flags.is(Lazy) && field.info.dealias.isBottomType
             }
 

Original file line number	Diff line number	Diff line change
`@@ -663,7 +663,7 @@ object SpaceEngine {`
`663`	`663`	`val refined = trace(i"refineUsingParent($tp, $sym1, $mixins)")(TypeOps.refineUsingParent(tp, sym1, mixins))`
`664`	`664`
`665`	`665`	`def containsUninhabitedField(tp: Type): Boolean =`
`666`		`- tp.fields.exists { field =>`
	`666`	`+ !tp.typeSymbol.is(ModuleClass) && tp.fields.exists { field =>`
`667`	`667`	`!field.symbol.flags.is(Lazy) && field.info.dealias.isBottomType`
`668`	`668`	`}`
`669`	`669`