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.

La issue non indica file di implementazione, test o punti di ingresso. Inizia dall’esempio Python fornito e verifica come mypy gestisce attualmente gli attributi di istanza; il lavoro è completo quando è stata concordata una diagnostica per le assegnazioni al di fuori di init, quando è stato stabilito se sono incluse letture come print_field e quando il comportamento richiesto è coperto dai test.