danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-21 21:31:13 +01:00
Code Issues Projects Releases Wiki Activity

Filter null & false if no arg passed to array_filter

Browse Source
This commit is contained in:
Matthew Brown 2016-10-26 17:51:34 -04:00
parent c5107f2abf
commit 78e183ea0c
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Psalm/Checker/FunctionChecker.php
View File

@ -373,6 +373,14 @@ class FunctionChecker extends FunctionLikeChecker
// where there's no function passed to array_filter
if ($call_map_key === 'array_filter' && $first_arg && isset($first_arg->inferredType) && $first_arg->inferredType->hasArray()) {
$inner_type = clone $first_arg->inferredType->types['array']->type_params[1];
$second_arg = isset($call_args[1]->value) ? $call_args[1]->value : null;
if (!$second_arg) {
$inner_type->removeType('null');
$inner_type->removeType('false');
}
return new Type\Union([new Type\Generic('array', [Type::getInt(), $inner_type])]);
}