Yes that's true - it's a backwards compatible change. Still, static analysis is necessary when you upgrade dependencies and for your own code. For example for

Yes that's true - it's a backwards compatible change. Still, static analysis is necessary when you upgrade dependencies and for your own code. For example for seeing whether adding a type to a property breaks code somewhere else. Discovering type errors at runtime is often too late. Luckily there are good static analyzers for PHP.