Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/215dfa6d-cd14-4622-83de-c19b36bdc63f

Expected output

An error about the useless ??.
I'm surprised because the dump type is int.

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

Everyday :)