Bug report

See also #11103

I thought my approach was just questionable, but apparently this is a bug?

Code snippet that reproduces the problem

81dc22e3-fae8-4f8c-b8b0-d147bff46950

Expected output

I am not sure to be honest.

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

Not just today, but every day 🤟 .