Bug report

Passing the $strict argument of array_search() from a function reports the possibility of null being returned.

Code snippet that reproduces the problem

https://phpstan.org/r/063ed345-07db-45c1-8b05-0fee820294cd

Expected output

array_search() will never return null in any case.

• https://github.com/php/php-src/blob/master/ext/standard/basic_functions.stub.php#L146

Did PHPStan help you today? Did it make you happy in any way?

Thanks to PHPStan, various bugs have been prevented. Awesome!