Add support for int and bool args for strlen

Author: fluffycondor

src/Type/Php/StrlenFunctionReturnTypeExtension.php

@@ -11,6 +11,7 @@
 use PHPStan\Type\DynamicFunctionReturnTypeExtension;
 use PHPStan\Type\IntegerRangeType;
 use PHPStan\Type\IntegerType;
+use PHPStan\Type\StringType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeUtils;
 use function count;
@@ -37,11 +38,19 @@ public function getTypeFromFunctionCall(
 
 		$argType = $scope->getType($args[0]->value);
 
-		$constantStrings = TypeUtils::getConstantStrings($argType);
+		$constantScalars = TypeUtils::getConstantScalars($argType);
 		$min = null;
 		$max = null;
-		foreach ($constantStrings as $constantString) {
-			$len = strlen($constantString->getValue());
+		foreach ($constantScalars as $constantScalar) {
+			if ((new IntegerType())->isSuperTypeOf($constantScalar)->yes()) {
+				$len = strlen((string) $constantScalar->getValue());
+			} elseif ((new StringType())->isSuperTypeOf($constantScalar)->yes()) {
+				$len = strlen((string) $constantScalar->getValue());
+			} elseif ((new BooleanType())->isSuperTypeOf($constantScalar)->yes()) {
+				$len = strlen((string) $constantScalar->getValue());
+			} else {
+				break;
+			}
 
 			if ($min === null) {
 				$min = $len;

tests/PHPStan/Analyser/data/non-empty-string.php

@@ -280,8 +280,9 @@ class MoreNonEmptyStringFunctions
 	/**
 	 * @param non-empty-string $nonEmpty
 	 * @param '1'|'2'|'5'|'10' $constUnion
+	 * @param 1|2|5|10|123|'1234'|false $constUnionMixed
 	 */
-	public function doFoo(string $s, string $nonEmpty, int $i, bool $bool, $constUnion)
+	public function doFoo(string $s, string $nonEmpty, int $i, bool $bool, $constUnion, $constUnionMixed)
 	{
 		assertType('string', addslashes($s));
 		assertType('non-empty-string', addslashes($nonEmpty));
@@ -336,6 +337,10 @@ public function doFoo(string $s, string $nonEmpty, int $i, bool $bool, $constUni
 		assertType('int<0, max>', strlen($s));
 		assertType('int<1, max>', strlen($nonEmpty));
 		assertType('int<1, 2>', strlen($constUnion));
+		assertType('int<0, 4>', strlen($constUnionMixed));
+		assertType('3', strlen(123));
+		assertType('1', strlen(true));
+		assertType('0', strlen(false));
 
 		assertType('non-empty-string', str_pad($nonEmpty, 0));
 		assertType('non-empty-string', str_pad($nonEmpty, 1));