Fix #11310: False Positive on Match Arm Comparison with Incremented Bounded Integer

src/Analyser/MutatingScope.php

@@ -2987,7 +2987,7 @@ private static function intersectButNotNever(Type $nativeType, Type $inferredTyp
 		return $result;
 	}
 
-	public function enterMatch(Expr\Match_ $expr): self
+	public function enterMatch(Expr\Match_ $expr, ?Type $condType, ?Type $condNativeType): self
 	{
 		if ($expr->cond instanceof Variable) {
 			return $this;
@@ -3001,8 +3001,8 @@ public function enterMatch(Expr\Match_ $expr): self
 			return $this;
 		}
 
-		$type = $this->getType($cond);
-		$nativeType = $this->getNativeType($cond);
+		$type = $condType ?? $this->getType($cond);
+		$nativeType = $condNativeType ?? $this->getNativeType($cond);
 		$condExpr = new AlwaysRememberedExpr($cond, $type, $nativeType);
 		$expr->cond = $condExpr;
 

src/Analyser/NodeScopeResolver.php

@@ -4175,14 +4175,19 @@ function (MutatingScope $scope) use ($stmt, $expr, $nodeCallback, $context, $sto
 			$hasYield = true;
 		} elseif ($expr instanceof Expr\Match_) {
 			$deepContext = $context->enterDeep();
+			$condIsIncDec = $expr->cond instanceof Expr\PreInc
+				|| $expr->cond instanceof Expr\PostInc
+				|| $expr->cond instanceof Expr\PreDec
+				|| $expr->cond instanceof Expr\PostDec;
 			$condType = $scope->getType($expr->cond);
+			$condNativeType = $scope->getNativeType($expr->cond);
 			$condResult = $this->processExprNode($stmt, $expr->cond, $scope, $storage, $nodeCallback, $deepContext);
 			$scope = $condResult->getScope();
 			$hasYield = $condResult->hasYield();
 			$throwPoints = $condResult->getThrowPoints();
 			$impurePoints = $condResult->getImpurePoints();
 			$isAlwaysTerminating = $condResult->isAlwaysTerminating();
-			$matchScope = $scope->enterMatch($expr);
+			$matchScope = $scope->enterMatch($expr, $condIsIncDec ? $condType : null, $condIsIncDec ? $condNativeType : null);
 			$armNodes = [];
 			$hasDefaultCond = false;
 			$hasAlwaysTrueCond = false;

tests/PHPStan/Rules/Comparison/MatchExpressionRuleTest.php

@@ -446,4 +446,15 @@ public function testBug9534(): void
 		]);
 	}
 
+	#[RequiresPhp('>= 8.0')]
+	public function testBug11310(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11310.php'], [
+			[
+				'Match arm comparison between int<1, max> and 0 is always false.',
+				24,
+			],
+		]);
+	}
+
 }

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

@@ -0,0 +1,28 @@
+<?php // lint >= 8.0
+
+namespace Bug11310;
+
+/** @param int<0, max> $i */
+function foo(int $i): void {
+	echo match ($i++) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param int<0, max> $i */
+function bar(int $i): void {
+	echo match ($i--) {
+		0 => 'zero',
+		default => 'default',
+	};
+}
+
+/** @param int<0, max> $i */
+function baz(int $i): void {
+	echo match (++$i) {
+		0 => 'zero',
+		1 => 'one',
+		default => 'default',
+	};
+}