Mypy cannot infer types of initialized variables

I have the following code:

class Service:
    def __init__():
        self.another_service = Service()
     
    def my_method() -> None:
        return self.another_service.another_method_call()

Mypy should gives an error of incompatible types because another_method_call is not returnig None but it is not type checking because it cannot identify what is the type of another_service.

The only way to makes it gives an error is initializing another_service using:

self.another_service: Service = Service() 

I think mypy has enough static information to guess what is the type of another_service wihout needing to someone explicit type it.

In der Issue wird keine Datei und kein Test genannt. Beginne damit, das Klassenbeispiel mit und ohne die explizite Service-Annotation zu reproduzieren, und verfolge dann mypy's Typinferenz für Instanzvariablen und die zugehörigen Tests. Erledigt ist es, wenn mypy den Typ des initialisierten Attributs ableitet und den inkompatiblen Rückgabetyp meldet, ohne die Annotation zu benötigen.