How to work with nonEmpty arrays since v0.12.53

[simPod]

Since v0.12.53 phpstan somehow detects the array is nonempty.

Parameter #1 $a of method A::b() expects array<string, int>&nonEmpty>, array('a' => int, 'b' => int) given.

I've been declaring array shapes before this version like list<array{a: int, b: string}>

Now it requires me to do list<array{a: int, b: string}&nonEmpty> to resolve errors. Is this the way to go?

[ondrejmirtes]

Please post a phpstan.org reproduction so I can know what’s going on.

[simPod]

Wow, I stripped libraries around and managed to reproduce. Did not see that coming

https://phpstan.org/r/3d36f630-72e7-49f0-979e-72509e2cd4c4

[ondrejmirtes]

I decided this is simply a bug and that array shape should not be generalized when being traversed because of generics: phpstan/phpstan-src@94e3443

[simPod]

I see it gives no errors in playground. Thank you