In the following, PHPStan reports a type error, whereas I believe it shouldn't be reporting any error:
https://phpstan.org/r/96434010-c21e-4517-b2c7-96d7c020fd73
This case seemed simple enough that PHPStan perhaps ought to be able to have picked up the type checking on the array elements.
Sorry if this is a known issue or has already been reported - perhaps even by me some time ago. (I only did a very brief check before posting!)
In the following, PHPStan reports a type error, whereas I believe it shouldn't be reporting any error:
https://phpstan.org/r/96434010-c21e-4517-b2c7-96d7c020fd73
This case seemed simple enough that PHPStan perhaps ought to be able to have picked up the type checking on the array elements.
Sorry if this is a known issue or has already been reported - perhaps even by me some time ago. (I only did a very brief check before posting!)