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

Comienza comparando el comportamiento solicitado para los atributos de clase con las opciones existentes disallow_any_unimported y disallow_any_expr, usando el ejemplo de SQLAlchemy Foo como caso motivador. Determina cómo una opción independiente debería evitar los efectos secundarios más amplios descritos para disallow_any_expr y, después, verifica que los atributos anotados y no anotados produzcan los diagnósticos previstos.