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

Commencez par comparer le comportement demandé pour les attributs de classe avec celui des options existantes disallow_any_unimported et disallow_any_expr, en utilisant l’exemple SQLAlchemy Foo comme cas motivant. Déterminez comment une option distincte devrait éviter les effets secondaires plus larges décrits pour disallow_any_expr, puis vérifiez que les attributs annotés et non annotés produisent les diagnostics attendus.