diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala index 50363759c542..b7e1f349a377 100644 --- 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 }