Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/20048b9e-18ba-47e1-8733-90cae07b78ce

Expected output

A error because of invalid format

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