False positive on is_array && array_is_list

[Niiph]

Bug report

False positive on is_array() && !array_is_list() and later is_array()

Code snippet that reproduces the problem

https://phpstan.org/r/0687e733-025b-401f-8f21-21df9bdd1e88

Expected output

Should not return error since there are still arrays that returned false for !array_is_list()

[phpstan-bot]

@Niiph After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
-PHP 8.1 – 8.2 (1 error)
+PHP 8.1 – 8.2
 ==========
 
-16: Call to function is_array() with mixed will always evaluate to false.
+No errors
 
 PHP 7.2 – 8.0 (1 error)
 ==========
 
 13: Function array_is_list not found.

Full report

PHP 8.1 – 8.2

No errors

PHP 7.2 – 8.0 (1 error)

Line	Error
13	Function array_is_list not found.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@de2566a

[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.