Fix match(true) exhaustiveness for complementary integer comparisons

- Added resolveComplementaryComparison() method to MutatingScope that checks
  if the complement of a comparison expression has a stored type in the scope
- When resolving $a >= $b, if $a < $b is already stored as false (or true),
  the complement is returned, allowing match(true) to detect exhaustive arms
- Handles all four comparison pairs: < / >=, <= / >, > / <=, >= / <
- New regression test in tests/PHPStan/Rules/Comparison/data/bug-5610.php

Closes phpstan/phpstan#5610

Author: github-actions[bot]

src/Analyser/MutatingScope.php

@@ -987,19 +987,23 @@ private function resolveType(string $exprString, Expr $node): Type
 		}
 
 		if ($node instanceof Expr\BinaryOp\Smaller) {
-			return $this->getType($node->left)->isSmallerThan($this->getType($node->right), $this->phpVersion)->toBooleanType();
+			return $this->resolveComplementaryComparison($node, new Expr\BinaryOp\GreaterOrEqual($node->left, $node->right))
+				?? $this->getType($node->left)->isSmallerThan($this->getType($node->right), $this->phpVersion)->toBooleanType();
 		}
 
 		if ($node instanceof Expr\BinaryOp\SmallerOrEqual) {
-			return $this->getType($node->left)->isSmallerThanOrEqual($this->getType($node->right), $this->phpVersion)->toBooleanType();
+			return $this->resolveComplementaryComparison($node, new Expr\BinaryOp\Greater($node->left, $node->right))
+				?? $this->getType($node->left)->isSmallerThanOrEqual($this->getType($node->right), $this->phpVersion)->toBooleanType();
 		}
 
 		if ($node instanceof Expr\BinaryOp\Greater) {
-			return $this->getType($node->right)->isSmallerThan($this->getType($node->left), $this->phpVersion)->toBooleanType();
+			return $this->resolveComplementaryComparison($node, new Expr\BinaryOp\SmallerOrEqual($node->left, $node->right))
+				?? $this->getType($node->right)->isSmallerThan($this->getType($node->left), $this->phpVersion)->toBooleanType();
 		}
 
 		if ($node instanceof Expr\BinaryOp\GreaterOrEqual) {
-			return $this->getType($node->right)->isSmallerThanOrEqual($this->getType($node->left), $this->phpVersion)->toBooleanType();
+			return $this->resolveComplementaryComparison($node, new Expr\BinaryOp\Smaller($node->left, $node->right))
+				?? $this->getType($node->right)->isSmallerThanOrEqual($this->getType($node->left), $this->phpVersion)->toBooleanType();
 		}
 
 		if ($node instanceof Expr\BinaryOp\Equal) {
@@ -1609,6 +1613,24 @@ private function getNullsafeShortCircuitingType(Expr $expr, Type $type): Type
 		return $type;
 	}
 
+	private function resolveComplementaryComparison(Expr\BinaryOp $node, Expr\BinaryOp $complement): ?Type
+	{
+		$complementKey = $this->getNodeKey($complement);
+		if (!array_key_exists($complementKey, $this->expressionTypes)) {
+			return null;
+		}
+
+		$complementType = $this->expressionTypes[$complementKey]->getType();
+		if ($complementType->isTrue()->yes()) {
+			return new ConstantBooleanType(false);
+		}
+		if ($complementType->isFalse()->yes()) {
+			return new ConstantBooleanType(true);
+		}
+
+		return null;
+	}
+
 	private function transformVoidToNull(Type $type, Node $node): Type
 	{
 		if ($node->getAttribute(self::KEEP_VOID_ATTRIBUTE_NAME) === true) {

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -446,6 +446,12 @@ public function testBug9534(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.0')]
+	public function testBug5610(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-5610.php'], []);
+	}
+
 	#[RequiresPhp('>= 8.0')]
 	public function testBug11310(): void
 	{

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

@@ -0,0 +1,33 @@
+<?php // lint >= 8.0
+
+declare(strict_types = 1);
+
+namespace Bug5610;
+
+function foo(int $bar, int $baz): int {
+	return match (true) {
+		$bar < $baz => 1,
+		$bar >= $baz => 2,
+	};
+}
+
+function foo3(int $bar, int $baz): int {
+	return match (true) {
+		$bar > $baz => 1,
+		$bar <= $baz => 2,
+	};
+}
+
+function foo4(int $bar, int $baz): int {
+	return match (true) {
+		$bar <= $baz => 1,
+		$bar > $baz => 2,
+	};
+}
+
+function foo5(int $bar, int $baz): int {
+	return match (true) {
+		$bar >= $baz => 1,
+		$bar < $baz => 2,
+	};
+}