Warn if instance atribute is defined outside of __init__

Feature

(Optionally?) generate error if the instance attribute is defined outside of __init__

Pitch

Mypy does not generate any errors for the code below:

class Tst:
    def __init__(self) -> None:
        ...

    def create_field(self) -> None:
        self.abc = 1  # Please, generate error here

    def print_field(self) -> None:
        print(self.abc)  # And, optionally here...


def main() -> None:
    tst = Tst()
    tst.print_field()


if __name__ == '__main__':
    main()

which fails with run time error, caused by the absence of the abc attribute definition in the __init__ method.

Additionaly:

PyCharm and pylint generate error in the line 6.

L’issue ne nomme aucun fichier d’implémentation, test ou point d’entrée. Commencez par l’exemple Python fourni et examinez la manière dont mypy gère actuellement les attributs d’instance ; le travail est considéré comme terminé lorsqu’un diagnostic pour les affectations en dehors de init a été défini, qu’il a été déterminé si les lectures telles que print_field sont incluses, et que le comportement demandé est couvert par des tests.