Improve decimal integer string inferences

Author: VincentLanglet

src/Reflection/InitializerExprTypeResolver.php

@@ -591,33 +591,37 @@ public function resolveConcatType(Type $left, Type $right): Type
 			$accessoryTypes[] = new AccessoryUppercaseStringType();
 		}
 
-		$leftNumericStringNonEmpty = TypeCombinator::remove($leftStringType, new ConstantStringType(''));
-		if ($leftNumericStringNonEmpty->isNumericString()->yes()) {
-			$validationCallback = $left->isInteger()->yes()
-				? static fn (string $value): bool => !str_starts_with($value, '-')
-				: static fn (string $value): bool => Strings::match($value, '#^\d+$#') !== null;
-
-			$allRightConstantsZeroOrMore = false;
-			foreach ($rightConstantStrings as $rightConstantString) {
-				if ($rightConstantString->getValue() === '') {
-					continue;
-				}
+		if ($leftStringType->isDecimalIntegerString()->and($rightStringType->isDecimalIntegerString())->yes()) {
+			$accessoryTypes[] = new AccessoryUppercaseStringType();
+		} else {
+			$leftNumericStringNonEmpty = TypeCombinator::remove($leftStringType, new ConstantStringType(''));
+			if ($leftNumericStringNonEmpty->isNumericString()->yes()) {
+				$validationCallback = $left->isInteger()->yes()
+					? static fn (string $value): bool => !str_starts_with($value, '-')
+					: static fn (string $value): bool => Strings::match($value, '#^\d+$#') !== null;
 
-				if (
-					!is_numeric($rightConstantString->getValue())
-					|| !$validationCallback($rightConstantString->getValue())
-				) {
-					$allRightConstantsZeroOrMore = false;
-					break;
-				}
+				$allRightConstantsZeroOrMore = false;
+				foreach ($rightConstantStrings as $rightConstantString) {
+					if ($rightConstantString->getValue() === '') {
+						continue;
+					}
 
-				$allRightConstantsZeroOrMore = true;
-			}
+					if (
+						!is_numeric($rightConstantString->getValue())
+						|| !$validationCallback($rightConstantString->getValue())
+					) {
+						$allRightConstantsZeroOrMore = false;
+						break;
+					}
+
+					$allRightConstantsZeroOrMore = true;
+				}
 
-			$zeroOrMoreInteger = IntegerRangeType::fromInterval(0, null);
-			$nonNegativeRight = $allRightConstantsZeroOrMore || $zeroOrMoreInteger->isSuperTypeOf($right)->yes();
-			if ($nonNegativeRight) {
-				$accessoryTypes[] = new AccessoryNumericStringType();
+				$zeroOrMoreInteger = IntegerRangeType::fromInterval(0, null);
+				$nonNegativeRight = $allRightConstantsZeroOrMore || $zeroOrMoreInteger->isSuperTypeOf($right)->yes();
+				if ($nonNegativeRight) {
+					$accessoryTypes[] = new AccessoryNumericStringType();
+				}
 			}
 		}
 

src/Type/Constant/ConstantStringType.php

@@ -19,6 +19,7 @@
 use PHPStan\Reflection\TrivialParametersAcceptor;
 use PHPStan\ShouldNotHappenException;
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType;
 use PHPStan\Type\Accessory\AccessoryLiteralStringType;
 use PHPStan\Type\Accessory\AccessoryLowercaseStringType;
 use PHPStan\Type\Accessory\AccessoryNonEmptyStringType;
@@ -459,7 +460,9 @@ public function generalize(GeneralizePrecision $precision): Type
 				new AccessoryLiteralStringType(),
 			];
 
-			if (is_numeric($this->getValue())) {
+			if ((string) (int) $this->getValue() === $this->getValue()) {
+				$accessories[] = new AccessoryDecimalIntegerStringType();
+			} elseif (is_numeric($this->getValue())) {
 				$accessories[] = new AccessoryNumericStringType();
 			}
 

src/Type/IntegerRangeType.php

@@ -10,6 +10,7 @@
 use PHPStan\PhpDocParser\Ast\Type\TypeNode;
 use PHPStan\Reflection\InitializerExprTypeResolver;
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType;
 use PHPStan\Type\Accessory\AccessoryLowercaseStringType;
 use PHPStan\Type\Accessory\AccessoryNonFalsyStringType;
 use PHPStan\Type\Accessory\AccessoryNumericStringType;
@@ -509,7 +510,7 @@ public function toString(): Type
 				new StringType(),
 				new AccessoryLowercaseStringType(),
 				new AccessoryUppercaseStringType(),
-				new AccessoryNumericStringType(),
+				new AccessoryDecimalIntegerStringType(),
 				new AccessoryNonFalsyStringType(),
 			]);
 		}
@@ -518,7 +519,7 @@ public function toString(): Type
 			new StringType(),
 			new AccessoryLowercaseStringType(),
 			new AccessoryUppercaseStringType(),
-			new AccessoryNumericStringType(),
+			new AccessoryDecimalIntegerStringType(),
 		]);
 	}
 

src/Type/IntegerType.php

@@ -6,6 +6,7 @@
 use PHPStan\PhpDocParser\Ast\Type\IdentifierTypeNode;
 use PHPStan\PhpDocParser\Ast\Type\TypeNode;
 use PHPStan\TrinaryLogic;
+use PHPStan\Type\Accessory\AccessoryDecimalIntegerStringType;
 use PHPStan\Type\Accessory\AccessoryLowercaseStringType;
 use PHPStan\Type\Accessory\AccessoryNumericStringType;
 use PHPStan\Type\Accessory\AccessoryUppercaseStringType;
@@ -78,7 +79,7 @@ public function toString(): Type
 			new StringType(),
 			new AccessoryLowercaseStringType(),
 			new AccessoryUppercaseStringType(),
-			new AccessoryNumericStringType(),
+			new AccessoryDecimalIntegerStringType(),
 		]);
 	}