Don't module class for unhabitated fields (scala#23634)

Alex1005a · tgodzik · commit f2c45a827b47 · 2025-08-07T23:22:33.000+02:00
Fix scala#23576 [Cherry-picked 17625b5]
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`