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.

この issue では、実装ファイル、テスト、エントリポイントが指定されていません。提供された Python の例から始めて、mypy が現在インスタンス属性をどのように扱っているかを確認してください。init 外での代入に対する診断と、print_field のような読み取りを含めるかどうかについて合意し、要求された動作をテストでカバーできれば完了です。