cs

Author: staabm

src/Type/Php/CountFunctionReturnTypeExtension.php

@@ -13,7 +13,7 @@
 use PHPStan\Type\Type;
 use function count;
 use function in_array;
-use const COUNT_RECURSIVE;
+use const COUNT_NORMAL;
 
 #[AutowiredService]
 final class CountFunctionReturnTypeExtension implements DynamicFunctionReturnTypeExtension
@@ -30,22 +30,23 @@ public function getTypeFromFunctionCall(
 		Scope $scope,
 	): ?Type
 	{
-		if (count($functionCall->getArgs()) < 1) {
+		$args = $functionCall->getArgs();
+		if (count($args) < 1) {
 			return null;
 		}
 
-		$arrayType = $scope->getType($functionCall->getArgs()[0]->value);
+		$arrayType = $scope->getType($args[0]->value);
 		if (!$this->isNormalCount($functionCall, $arrayType, $scope)->yes()) {
 			if ($arrayType->isIterableAtLeastOnce()->yes()) {
 				return IntegerRangeType::fromInterval(1, null);
 			}
 			return null;
 		}
 
-		return $scope->getType($functionCall->getArgs()[0]->value)->getArraySize();
+		return $scope->getType($args[0]->value)->getArraySize();
 	}
 
-	private function isNormalCount(FuncCall $countFuncCall, Type $countedType, Scope $scope,): TrinaryLogic
+	private function isNormalCount(FuncCall $countFuncCall, Type $countedType, Scope $scope): TrinaryLogic
 	{
 		if (count($countFuncCall->getArgs()) === 1) {
 			$isNormalCount = TrinaryLogic::createYes();

tests/PHPStan/Analyser/LegacyNodeScopeResolverTest.php

@@ -2464,7 +2464,7 @@ public static function dataBinaryOperations(): array
 				'count($arrayOfIntegers)',
 			],
 			[
-				'int<0, max>',
+				'3',
 				'count($arrayOfIntegers, \COUNT_RECURSIVE)',
 			],
 			[