Bug report

If a function/method has an array parameter with all keys documented in phpdoc as optional, and some of them, but not all are given as argument to it, phpstan incorrectly detects this as an error, either requiring an empty array, all all keys present.

Code snippet that reproduces the problem

https://phpstan.org/r/6fac5989-a4c0-4332-b39b-109f0a8da7a8

Expected output

No errors