Fix ObjectType::equals() when compared to EnumCaseObjectType

Author: ondrejmirtes

src/Type/ObjectType.php

@@ -327,6 +327,10 @@ public function equals(Type $type): bool
 			return false;
 		}
 
+		if ($type instanceof EnumCaseObjectType) {
+			return false;
+		}
+
 		if ($this->className !== $type->className) {
 			return false;
 		}

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -158,4 +158,13 @@ public function testEnums(): void
 		]);
 	}
 
+	public function testBug6394(): void
+	{
+		if (PHP_VERSION_ID < 80100) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+
+		$this->analyse([__DIR__ . '/data/bug-6394.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-6394.php

@@ -0,0 +1,26 @@
+<?php
+
+namespace Bug6394;
+
+enum EntryType: string
+{
+	case CREDIT = 'credit';
+	case DEBIT = 'debit';
+}
+
+class Foo
+{
+
+	public function getType(): EntryType
+	{
+		return $this->type;
+	}
+
+	public function getAmount(): int
+	{
+		return match($this->getType()) {
+			EntryType::DEBIT => 1,
+			EntryType::CREDIT => 2,
+		};
+	}
+}