These can be used by tools like IDEs (eg pycharm) and other static checkers. Full program type inference is now doable for large parts of python ... the noise and move methods... because we made a ...

Even in the previous example nothing forces you to declare instances() as static. Declaring it as static just makes it more convenient to call since you do not need an instance to call the method.