https://phpstan.org/r/dc24e5cb-ca3c-45f5-a49e-7425604e7ac9

1. Why is it reported in the first if and not reported in the second one?
2. Why turning Treat PHPDoc types as certain clears the reported error?

I stumbled upon p.2 because locally it suggests disabling it, saying the type came from PHPDoc.