Bug report

default option not see

Code snippet that reproduces the problem

https://phpstan.org/r/03c4de29-fba4-4d84-9055-33e182b1d1db

Expected output

I expect to see the default options

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

No response