array{a?: mixed, b?: mixed} expected, array<'a'|'b', mixed> given

[claudepache]

Bug report

... but array{a?: mixed, b?: mixed} and array<'a'|'b', mixed> are two ways to say the same thing.

Code snippet that reproduces the problem

https://phpstan.org/r/51541898-c3e6-4cd3-8059-714466887c2e

Expected output

No error.

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

No response

[ondrejmirtes]

I guess array_intersect_key could be improved to improve unsealed array shape (ConstantArrayType) instead of general array (ArrayType) when there are array shapes with isUnsealed->yes() or isUnsealed->no() involved. So that we don't impact the non-bleeding-edge path.