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).

Inizia confrontando il comportamento richiesto per gli attributi di classe con quello delle opzioni esistenti disallow_any_unimported e disallow_any_expr, usando l’esempio SQLAlchemy Foo come caso motivante. Determina in che modo un’opzione separata dovrebbe evitare gli effetti collaterali più ampi descritti per disallow_any_expr, quindi verifica che gli attributi annotati e non annotati producano le diagnosi previste.