The type will never change if exception is thrown. No error with 0.8.5. https://phpstan.org/r/ce51cd492fbb7bd36538e0f897c23cc0