False positive: Cannot call method format() on DateTimeInterface|null. #5623
Description
Bug report
Version: 0.12.98
Call method on not null could fail after other check(s)(https://phpstan.org/r/646e73ca-76db-499f-89c9-715211db44ef). But working when the condition is closer (https://phpstan.org/r/c2d9d80b-4dcd-487a-bac8-02124d4ab25e)
Code snippet that reproduces the problem
Expected output
Do not show the error
like https://phpstan.org/r/c2d9d80b-4dcd-487a-bac8-02124d4ab25e