Feature request for something like --disallow-any-attrs

Disclaimer: mypy newbie here, so I might just be missing something. See also my StackOverflow question for my motivation to request this feature.

Basically I couldn't find a way for mypy to require type annotations on class attributes as in the following (incomplete) example with ignore_missing_imports turned on for sqlalchemy.*.

from sqlalchemy import Column, Integer

class Foo(Base):
    oid = Column(Integer, primary_key=True)

I want code using my library (ORM definitions) to know what types they can expect. So I need mypy to make sure that oid is type annotated (e.g. oid: int = ...).

disallow_any_unimported does not seem to apply for oid. I also tried disallow_any_expr but this seems far to broad and has side-effects like causing mypy to complain about the use of Integer (Even with disallow_any_unimported = False).

まず、SQLAlchemy Foo の例を動機となるケースとして、クラス属性に要求されている動作を既存の disallow_any_unimported オプションおよび disallow_any_expr オプションと比較します。次に、disallow_any_expr について説明されている、より広範な副作用を別のオプションでどのように回避すべきかを判断し、その後、注釈付き属性と注釈なし属性が意図した診断を生成することを確認します。