Bug report

I have my own http_redirect(string, int) function. Apparently, the PECL http extention also defines this function, but this extension is not installed and not used in my code.

PHPStan complains that a call to my http_redirect() function doesn't use the right signature.

Code snippet that reproduces the problem

https://phpstan.org/r/df45bf52-3cf4-4b2a-b0cf-644be436fdf7

Expected output

No errors.

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

Great question. It has prevented me from deploying several bugs. Thanks for that!