Reusing previous assertions on the result of a getter is sometimes wrong

[arnaud-lb]

Summary of a problem or a feature request

PHPStan remembers previous assertions about the result of a getter, and reuses that information for subsequent calls of the same getter. Sometimes, the getter can return something else.

Code snippet that reproduces the problem

https://phpstan.org/r/9320295e0a0f4c21589f5df1fd071bbe

Expected output

PHPStan should not emit a warning here

[ondrejmirtes]

Hi, thanks, although this is too similar to #1157 where there's already some discussion.
To avoid your problem, modify your code like this: https://phpstan.org/r/67f303bca9a6a950efdc76454b366e79