From 4ecc8bb1f66fef3f2c1025634311c2fc184843fd Mon Sep 17 00:00:00 2001 From: Alexander Date: Wed, 30 Jul 2025 21:03:42 +0300 Subject: [PATCH] Fix scala#23576 --- compiler/src/dotty/tools/dotc/transform/patmat/Space.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 }