diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
index d5d028530434..4df2e2523f8f 100644
--- a/compiler/src/dotty/tools/dotc/typer/Implicits.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -1074,7 +1074,7 @@ trait Implicits:
     || locally:
       if strictEquality then
         strictEqualityPatternMatching &&
-          (leftTree.symbol.isAllOf(Flags.EnumValue) || leftTree.symbol.isAllOf(Flags.Module | Flags.Case)) &&
+          (leftTree.symbol.isAllOf(Flags.EnumValue) || leftTree.symbol.is(Flags.Module)) &&
           ltp <:< lift(rtp)
       else
         ltp <:< lift(rtp) || rtp <:< lift(ltp)
diff --git a/compiler/test/dotty/tools/dotc/typer/SIP67Tests.scala b/compiler/test/dotty/tools/dotc/typer/SIP67Tests.scala
index decdb4f3db80..9bdaba85da80 100644
--- a/compiler/test/dotty/tools/dotc/typer/SIP67Tests.scala
+++ b/compiler/test/dotty/tools/dotc/typer/SIP67Tests.scala
@@ -36,7 +36,7 @@ class SIP67Tests extends DottyTest:
       sealed trait Foo
 
       object Foo:
-        case object Bar extends Foo
+        object Bar extends Foo
 
       val _ =
         (??? : Foo) match