Bug report

I have a parameter that is described with an array shape. When making a call with an extra, undocumented key for this parameter, I get an error.

Code snippet that reproduces the problem

https://phpstan.org/r/7ce58e26-8b3e-4ac7-b780-eb4b94551119

Expected output

There should be no error.