phpstan
phpstan copied to clipboard
Union type of array is not judge correct
Bug report
After checking unique param of array and exit with this condition phpstan doesn't remove type from union.
Code snippet that reproduces the problem
https://phpstan.org/r/d33de38d-d487-420b-8dbf-4a6d560c2878
Expected output
No error
Did PHPStan help you today? Did it make you happy in any way?
No response