empty and isset have no side effect on the object property, but they do not cache/transfer the result as for plain variable #5734
Description
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/41efba18-3599-4554-b885-1792205636fe
Expected output
Results for $v and $o->v should be the same.
https://phpstan.org/r/1b4454f0-9f99-4ca5-88f8-a06dd97a24bb must show something like Property xx in isset() always exists and is not nullable..