Backport "Fix #23576" to 3.7.3 (#23643)

WojciechMazur · web-flow · commit 208b0071d9d8 · 2025-08-01T19:33:05.000+02:00
Backports #23634 to the 3.7.3-RC1. PR submitted by the release tooling. [skip ci]
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -685,7 +685,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
`@@ -685,7 +685,7 @@ object SpaceEngine {`
`685`	`685`	`val refined = trace(i"refineUsingParent($tp, $sym1, $mixins)")(TypeOps.refineUsingParent(tp, sym1, mixins))`
`686`	`686`
`687`	`687`	`def containsUninhabitedField(tp: Type): Boolean =`
`688`		`- tp.fields.exists { field =>`
	`688`	`+ !tp.typeSymbol.is(ModuleClass) && tp.fields.exists { field =>`
`689`	`689`	`!field.symbol.flags.is(Lazy) && field.info.dealias.isBottomType`
`690`	`690`	`}`
`691`	`691`