Bug report

I run PHPStan version 1.8.2 with phpstan-strict rules 1.3.0 on max level.

I try to create a simple function that calls session_set_cookie_params() with some default values and session_start() to start a new session. As I tested this function with PHPStan, some errors have been reported.

Code snippet that reproduces the problem

Code snippet to reproduce: https://phpstan.org/r/c772c666-f8d8-4676-b1c4-8d6d3bfee327

PHP Documentation: https://www.php.net/manual/en/function.session-set-cookie-params.php

Expected output

I expected no error to be reported, because the parameters $path, $domain, $secure and $httponly for the session_set_cookie_params() function are nullable since PHP 8.0.

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

PHPStan is a great tool that prevented some errors creeping into my code. Keep on doing the great work on PHPStan! <3