Respect phpstan level in ParameterCastableToNumberRule

src/Rules/Functions/ParameterCastableToNumberRule.php

@@ -11,6 +11,7 @@
 use PHPStan\Rules\ParameterCastableToStringCheck;
 use PHPStan\Rules\Rule;
 use PHPStan\Type\ErrorType;
+use PHPStan\Type\MixedType;
 use PHPStan\Type\Type;
 use function count;
 use function in_array;
@@ -69,7 +70,7 @@
 
 		$castFn = $this->phpVersion->supportsObjectsInArraySumProduct()
 			? static fn (Type $t) => $t->toNumber()
-			: static fn (Type $t) => !$t->isObject()->no() ? new ErrorType() : $t->toNumber();
+			: static fn (Type $t) => !$t instanceof MixedType && !$t->isObject()->no() ? new ErrorType() : $t->toNumber();
 
 		$error = $this->parameterCastableToStringCheck->checkParameter(
 			$origArgs[0],

src/Rules/ParameterCastableToStringCheck.php

@@ -6,6 +6,7 @@
 use PHPStan\Analyser\ArgumentsNormalizer;
 use PHPStan\Analyser\Scope;
 use PHPStan\DependencyInjection\AutowiredService;
+use PHPStan\Node\Expr\TypeExpr;
 use PHPStan\Reflection\ParameterReflection;
 use PHPStan\Type\ErrorType;
 use PHPStan\Type\Type;
@@ -34,22 +35,31 @@
 			return null;
 		}
 
-		$typeResult = $this->ruleLevelHelper->findTypeToCheck(
+		$arrayTypeResult = $this->ruleLevelHelper->findTypeToCheck(
 			$scope,
 			$parameter->value,
 			'',
-			static fn (Type $type): bool => $type->isArray()->yes() && !$castFn($type->getIterableValueType()) instanceof ErrorType,
+			static fn (Type $type): bool => $type->isArray()->yes(),
+		);
+
+		$arrayType = $arrayTypeResult->getType();
+		if (!$arrayType->isArray()->yes()) {
+			return null;
+		}
+
+		$typeResult = $this->ruleLevelHelper->findTypeToCheck(
+			$scope,
+			new TypeExpr($arrayType->getIterableValueType()),
+			'',
+			static fn (Type $type): bool => !$castFn($type) instanceof ErrorType,
 		);
 
-		if (
-			! $typeResult->getType()->isArray()->yes()
-			|| !$castFn($typeResult->getType()->getIterableValueType()) instanceof ErrorType
-		) {
+		if (!$castFn($typeResult->getType()) instanceof ErrorType) {
 			return null;
 		}
 
 		return RuleErrorBuilder::message(
-			sprintf($errorMessageTemplate, $parameterName, $functionName, $typeResult->getType()->describe(VerbosityLevel::typeOnly())),
+			sprintf($errorMessageTemplate, $parameterName, $functionName, $arrayTypeResult->getType()->describe(VerbosityLevel::typeOnly())),
 		)->identifier('argument.type')->build();
 	}
 

tests/PHPStan/Levels/LevelsIntegrationTest.php

@@ -44,6 +44,7 @@ public static function dataTopics(): array
 			['listType'],
 			['missingTypes'],
 			['arrayOffsetAccess'],
+			['arraySum'],
 		];
 		if (PHP_VERSION_ID >= 80300) {
 			$topics[] = ['constantAccesses83'];

tests/PHPStan/Levels/data/arraySum-10-missing.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 23,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-10.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects array, mixed given.",
+        "line": 26,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-4.json

@@ -0,0 +1,42 @@
+[
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 19,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 20,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 21,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 22,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 23,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 24,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 25,
+        "ignorable": true
+    },
+    {
+        "message": "Call to function array_sum() on a separate line has no effect.",
+        "line": 26,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-5.json

@@ -0,0 +1,12 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 20,
+        "ignorable": true
+    },
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 23,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-6.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Method Levels\\ArraySum\\Foo::test() has parameter $implicitlyMixed with no type specified.",
+        "line": 13,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-7-missing.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 23,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-7.json

@@ -0,0 +1,22 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<int|string> given.",
+        "line": 21,
+        "ignorable": true
+    },
+    {
+        "message": "Parameter #1 $array of function array_sum expects array, array<int>|Levels\\ArraySum\\Foo given.",
+        "line": 22,
+        "ignorable": true
+    },
+    {
+        "message": "Parameter #1 $array of function array_sum expects array, array<string>|Levels\\ArraySum\\Foo given.",
+        "line": 23,
+        "ignorable": true
+    },
+    {
+        "message": "Parameter #1 $array of function array_sum expects array, array<int|string>|Levels\\ArraySum\\Foo given.",
+        "line": 24,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-8-missing.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 23,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-9-missing.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects an array of values castable to number, array<string> given.",
+        "line": 23,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum-9.json

@@ -0,0 +1,7 @@
+[
+    {
+        "message": "Parameter #1 $array of function array_sum expects array, mixed given.",
+        "line": 25,
+        "ignorable": true
+    }
+]

tests/PHPStan/Levels/data/arraySum.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace Levels\ArraySum;
+
+class Foo
+{
+	/**
+	 * @param array<int> $arrayOfInt
+	 * @param array<string> $arrayOfString
+	 * @param array<int|string> $arrayOfUnion
+	 * @param mixed $explicitlyMixed
+	 */
+	public function test(array $arrayOfInt, array $arrayOfString, array $arrayOfUnion, $explicitlyMixed, $implicitlyMixed): void
+	{
+		$objectOrArrayOfInt = rand(0, 1) ? new Foo() : $arrayOfInt;
+		$objectOrArrayOfString = rand(0, 1) ? new Foo() : $arrayOfString;
+		$objectOrArrayOfUnion = rand(0, 1) ? new Foo() : $arrayOfUnion;
+
+		array_sum($arrayOfInt);
+		array_sum($arrayOfString);
+		array_sum($arrayOfUnion);
+		array_sum($objectOrArrayOfInt);
+		array_sum($objectOrArrayOfString);
+		array_sum($objectOrArrayOfUnion);
+		array_sum($explicitlyMixed);
+		array_sum($implicitlyMixed);
+	}
+}

tests/PHPStan/Rules/Functions/ParameterCastableToNumberRuleTest.php

@@ -18,12 +18,18 @@
 class ParameterCastableToNumberRuleTest extends RuleTestCase
 {
 
+	private bool $checkUnion = true;
+
+	private bool $checkExplicitMixed = true;
+
+	private bool $checkImplicitMixed = true;
+
 	protected function getRule(): Rule
 	{
 		$broker = self::createReflectionProvider();
 		return new ParameterCastableToNumberRule(
 			$broker,
-			new ParameterCastableToStringCheck(new RuleLevelHelper($broker, true, false, true, true, true, false, true)),
+			new ParameterCastableToStringCheck(new RuleLevelHelper($broker, true, false, $this->checkUnion, $this->checkExplicitMixed, $this->checkImplicitMixed, false, true)),
 			self::getContainer()->getByType(PhpVersion::class),
 		);
 	}
@@ -213,6 +219,39 @@ public function testBug13775Bis(): void
 		$this->analyse([__DIR__ . '/data/bug-13775-bis.php'], $this->hackPhp74ErrorMessages($errors));
 	}
 
+	public function testBug13775TerWithoutMixed(): void
+	{
+		$this->checkExplicitMixed = false;
+		$this->checkImplicitMixed = false;
+
+		$this->analyse([__DIR__ . '/data/bug-13775-ter.php'], $this->hackPhp74ErrorMessages([
+			[
+				'Parameter #1 $array of function array_sum expects an array of values castable to number, array<int, int|string> given.',
+				9,
+			],
+			[
+				'Parameter #1 $array of function array_product expects an array of values castable to number, array<int, int|string> given.',
+				10,
+			],
+		]));
+	}
+
+	public function testBug13775TerWithoutUnion(): void
+	{
+		$this->checkUnion = false;
+
+		$this->analyse([__DIR__ . '/data/bug-13775-ter.php'], $this->hackPhp74ErrorMessages([
+			[
+				'Parameter #1 $array of function array_sum expects an array of values castable to number, array<int, mixed> given.',
+				5,
+			],
+			[
+				'Parameter #1 $array of function array_product expects an array of values castable to number, array<int, mixed> given.',
+				6,
+			],
+		]));
+	}
+
 	public function testBug12146(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-12146.php'], $this->hackPhp74ErrorMessages([

tests/PHPStan/Rules/Functions/data/bug-13775-ter.php

@@ -0,0 +1,10 @@
+<?php declare(strict_types = 1);
+
+/** @var mixed $a */
+$a = doFoo();
+echo array_sum([$a]) . "\n\n";
+echo array_product([$a]) . "\n\n";
+
+$b = rand(0, 1) ? 42 : '';
+echo array_sum([$b]) . "\n\n";
+echo array_product([$b]) . "\n\n";