Bug report
An array shape should not be trusted with treatPhpDocTypesAsCertain (and bleedingEdge)
Code snippet that reproduces the problem
https://phpstan.org/r/cc561270-32c6-478f-a613-475077f8aa80
Expected output
No errors
Did PHPStan help you today? Did it make you happy in any way?
Sure