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.

Nell'issue non sono indicati file o test. Inizia riproducendo l'esempio di classe con e senza l'annotazione esplicita di Service, quindi segui l'inferenza del tipo delle variabili di istanza di mypy e i test correlati. Il lavoro è completato quando mypy inferisce il tipo dell'attributo inizializzato e segnala il tipo di ritorno incompatibile senza richiedere l'annotazione.