Generalize cast type narrowing for (int) in addition to (string)

Refactor the cast narrowing logic in TypeSpecifier::resolveNormalizedIdentical()
to handle any Expr\Cast via a new determineCastProducingType() helper method.

- (string)$expr === '' narrows to null|false|'' (unchanged behavior)
- (int)$expr === 0 narrows to null|false|0|0.0|''|'0'

This addresses the review feedback to generalize the approach beyond
just string casts.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

src/Analyser/TypeSpecifier.php

@@ -2934,23 +2934,17 @@ private function resolveNormalizedIdentical(Expr\BinaryOp\Identical $expr, Scope
 			}
 		}
 
-		// (string)$expr === '' - propagate narrowing to inner expression
+		// (cast)$expr === value - propagate narrowing to inner expression
 		if (
 			!$context->null()
-			&& $unwrappedLeftExpr instanceof Expr\Cast\String_
+			&& $unwrappedLeftExpr instanceof Expr\Cast
 		) {
-			$rightConstantStrings = $rightType->getConstantStrings();
-			if (count($rightConstantStrings) === 1 && $rightConstantStrings[0]->getValue() === '') {
-				// Types that produce '' when cast to string: null, false, ''
-				$castToEmptyStringType = TypeCombinator::union(
-					new NullType(),
-					new ConstantBooleanType(false),
-					new ConstantStringType(''),
-				);
+			$castProducingType = $this->determineCastProducingType($unwrappedLeftExpr, $rightType);
+			if ($castProducingType !== null) {
 				$innerExpr = $unwrappedLeftExpr->expr;
 				$result = $this->create($leftExpr, $rightType, $context, $scope)->setRootExpr($expr);
 				return $result->unionWith(
-					$this->create($innerExpr, $castToEmptyStringType, $context, $scope)->setRootExpr($expr),
+					$this->create($innerExpr, $castProducingType, $context, $scope)->setRootExpr($expr),
 				);
 			}
 		}
@@ -3144,4 +3138,40 @@ private function resolveNormalizedIdentical(Expr\BinaryOp\Identical $expr, Scope
 		return (new SpecifiedTypes([], []))->setRootExpr($expr);
 	}
 
+	/**
+	 * Given a cast expression and the value it's compared to,
+	 * returns the union of types that produce that value when cast.
+	 */
+	private function determineCastProducingType(Expr\Cast $cast, Type $comparedType): ?Type
+	{
+		if ($cast instanceof Expr\Cast\String_) {
+			$constantStrings = $comparedType->getConstantStrings();
+			if (count($constantStrings) === 1 && $constantStrings[0]->getValue() === '') {
+				// Types that produce '' when cast to string: null, false, ''
+				return TypeCombinator::union(
+					new NullType(),
+					new ConstantBooleanType(false),
+					new ConstantStringType(''),
+				);
+			}
+		}
+
+		if ($cast instanceof Expr\Cast\Int_) {
+			$constantScalars = $comparedType->getConstantScalarValues();
+			if (count($constantScalars) === 1 && $constantScalars[0] === 0) {
+				// Types that produce 0 when cast to int: null, false, 0, 0.0, '', '0'
+				return TypeCombinator::union(
+					new NullType(),
+					new ConstantBooleanType(false),
+					new ConstantIntegerType(0),
+					new ConstantFloatType(0.0),
+					new ConstantStringType(''),
+					new ConstantStringType('0'),
+				);
+			}
+		}
+
+		return null;
+	}
+
 }

tests/PHPStan/Analyser/nsrt/bug-8231.php

@@ -40,3 +40,36 @@ function testBool(bool|string|null $x): void {
 		assertType('non-empty-string|true', $x);
 	}
 }
+
+// (int) cast narrowing
+function testIntCast(int|null $x): void {
+	if ((int)$x !== 0) {
+		assertType('int<min, -1>|int<1, max>', $x);
+	}
+}
+
+function testIntCastIdentical(int|null $x): void {
+	if ((int)$x === 0) {
+		assertType('0|null', $x);
+	} else {
+		assertType('int<min, -1>|int<1, max>', $x);
+	}
+}
+
+function testIntCastWithString(int|string|null $x): void {
+	if ((int)$x !== 0) {
+		assertType("int<min, -1>|int<1, max>|non-falsy-string", $x);
+	}
+}
+
+function testIntCastWithFloat(float|null $x): void {
+	if ((int)$x !== 0) {
+		assertType('float', $x);
+	}
+}
+
+function testIntCastWithBool(bool|int|null $x): void {
+	if ((int)$x !== 0) {
+		assertType('int<min, -1>|int<1, max>|true', $x);
+	}
+}