Fix

zonuexe · zonuexe · commit 4b6752db2b44 · 2024-11-06T03:16:58.000+09:00
diff --git a/src/Type/Php/ArrayFindFunctionReturnTypeExtension.php b/src/Type/Php/ArrayFindFunctionReturnTypeExtension.php
@@ -7,7 +7,6 @@
 use PHPStan\Analyser\Scope;
 use PHPStan\Reflection\FunctionReflection;
 use PHPStan\Type\DynamicFunctionReturnTypeExtension;
-use PHPStan\Type\NullType;
 use PHPStan\Type\Type;
 use PHPStan\Type\TypeCombinator;
 use function array_map;
@@ -33,7 +32,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,
 		}
 
 		$resultTypes = $scope->getType(new FuncCall(new Name('\array_filter'), $functionCall->getArgs()));
-		$resultType = TypeCombinator::union(...array_map(fn ($type) => $type->getIterableValueType(), $resultTypes->getArrays()));
+		$resultType = TypeCombinator::union(...array_map(static fn ($type) => $type->getIterableValueType(), $resultTypes->getArrays()));
 
 		return $resultTypes->isIterableAtLeastOnce()->yes() ? $resultType : TypeCombinator::addNull($resultType);
 	}

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,6 @@`
`7`	`7`	`use PHPStan\Analyser\Scope;`
`8`	`8`	`use PHPStan\Reflection\FunctionReflection;`
`9`	`9`	`use PHPStan\Type\DynamicFunctionReturnTypeExtension;`
`10`		`-use PHPStan\Type\NullType;`
`11`	`10`	`use PHPStan\Type\Type;`
`12`	`11`	`use PHPStan\Type\TypeCombinator;`
`13`	`12`	`use function array_map;`
`@@ -33,7 +32,7 @@ public function getTypeFromFunctionCall(FunctionReflection $functionReflection,`
`33`	`32`	`}`
`34`	`33`
`35`	`34`	`$resultTypes = $scope->getType(new FuncCall(new Name('\array_filter'), $functionCall->getArgs()));`
`36`		`- $resultType = TypeCombinator::union(...array_map(fn ($type) => $type->getIterableValueType(), $resultTypes->getArrays()));`
	`35`	`+ $resultType = TypeCombinator::union(...array_map(static fn ($type) => $type->getIterableValueType(), $resultTypes->getArrays()));`
`37`	`36`
`38`	`37`	`return $resultTypes->isIterableAtLeastOnce()->yes() ? $resultType : TypeCombinator::addNull($resultType);`
`39`	`38`	`}`