Feature request

repro: https://phpstan.org/r/3bb17546-a92b-4dcd-8e9b-f1d35a632bbf

In l14 body the l16 assignment can be substracted and thus there should be no error at l23.