Bug report

not sure whats going on, but phpstan thinks a parameter named $code needs to be an int.

maybe this is something related to php8 named parameters?

it isn't obvious in this case why the variable is expected to be an int.

Code snippet that reproduces the problem

https://phpstan.org/r/35fa7880-bda4-485c-92b2-7fcf1d6e72a5

Expected output

no error