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