Bug report

phpstan is not correctly resolving the types with generics and array shapes correctly. The error message shows the expected types, but phpstan thinks they are different.

Code snippet that reproduces the problem

https://phpstan.org/r/9fe5d121-5b1c-4049-ac4f-6bf6ab309cfd

Expected output

No errors