loop over all elements of array with coalesce operator should remove null #13730
Description
Bug report
rewriting all array elements into a non-nullable value should turn it into a array without null-value
Code snippet that reproduces the problem
https://phpstan.org/r/4db76959-1d33-4cc1-9071-cf5f6264efb5
Expected output
no error
Did PHPStan help you today? Did it make you happy in any way?
No response