From f2c45a827b474d99476d699555b017441d1fc2e8 Mon Sep 17 00:00:00 2001
From: Alex1005a <azazf93@gmail.com>
Date: Fri, 1 Aug 2025 13:03:02 +0300
Subject: [PATCH] Don't module class for unhabitated fields (#23634)

Fix #23576
[Cherry-picked 17625b571f852462f1975af925e444a60f723e7e]
---
 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 a68676f3d290..0dfa73035099 100644
--- 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
             }