PHPStan wrong processing a null coalescing operator

[ossinkine]

Summary of a problem or a feature request

If left side of null coalescing operator is not null then right side will never be used.
PHPStan should alert it.

Code snippet that reproduces the problem

https://phpstan.org/r/19e311df-cf34-4cb2-8d38-92e8bbe8d8bd

Expected output

PHPStan should say something like "Variable $foo always exists and is not nullable."

[ondrejmirtes]

Implemented: phpstan/phpstan-src#36 (https://phpstan.org/r/ed8211b1-f4b0-4bf6-ac05-d3821fd5512e)

[lock]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.