no good prediction on whetter a variable can not be null #4733
Description
Bug report
The code snippets of psalm and phpstan latest version with php 8
Code snippet that reproduces the problem
https://phpstan.org/r/0d833a50-4967-4faf-941f-007bd8e6736e
in psalm no problem
https://psalm.dev/r/aec4bc6fc7
Expected output
OK