False positive for is_numeric on partially numeric array items

[leongersen]

Bug report

When iterating an array that has both numeric and non-numeric values, PhpStan incorrectly reports Call to function is_numeric() with 1|'a' will always evaluate to false..

Code snippet that reproduces the problem

$apples = [1, 'a'];

foreach($apples as $apple) {
	if(is_numeric($apple)) {
		echo 'number';
	}
}

https://phpstan.org/r/25842e1a-5522-49d9-a0a5-a5722c6d8e15

Expected output

I expected no errors here, but PhpStan reports:

+--------------------------------------------------------------------------------+
| Line | test.php                                                                |
+--------------------------------------------------------------------------------+
| 6    | Call to function is_numeric() with 1|'a' will always evaluate to false. |
+--------------------------------------------------------------------------------+

[ondrejmirtes]

Fixed: phpstan/phpstan-src@1d27c61

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.