EnumCaseObjectType cannot be compared in a numeric sense

Author: ondrejmirtes

src/Type/Enum/EnumCaseObjectType.php

@@ -132,6 +132,16 @@ public function generalize(GeneralizePrecision $precision): Type
 		return new parent($this->getClassName(), null, $this->getClassReflection());
 	}
 
+	public function isSmallerThan(Type $otherType): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
+	public function isSmallerThanOrEqual(Type $otherType): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	/**
 	 * @param mixed[] $properties
 	 */

tests/PHPStan/Rules/Comparison/NumberComparisonOperatorsConstantConditionRuleTest.php

@@ -101,4 +101,29 @@ public function testBug5295(): void
 		$this->analyse([__DIR__ . '/data/bug-5295.php'], []);
 	}
 
+	public function testBug7052(): void
+	{
+		if (PHP_VERSION_ID < 80100 && !self::$useStaticReflectionProvider) {
+			$this->markTestSkipped('Test requires PHP 8.1.');
+		}
+		$this->analyse([__DIR__ . '/data/bug-7052.php'], [
+			[
+				'Comparison operation ">" between Bug7052\Foo::A and Bug7052\Foo::B is always false.',
+				16,
+			],
+			[
+				'Comparison operation "<" between Bug7052\Foo::A and Bug7052\Foo::B is always false.',
+				17,
+			],
+			[
+				'Comparison operation ">=" between Bug7052\Foo::A and Bug7052\Foo::B is always false.',
+				18,
+			],
+			[
+				'Comparison operation "<=" between Bug7052\Foo::A and Bug7052\Foo::B is always false.',
+				19,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,22 @@
+<?php
+
+namespace Bug7052;
+
+enum Foo: int
+{
+	case A = 1;
+	case B = 2;
+}
+
+class Bar
+{
+
+	public function doFoo()
+	{
+		Foo::A > Foo::B;
+		Foo::A < Foo::B;
+		Foo::A >= Foo::B;
+		Foo::A <= Foo::B;
+	}
+
+}