Feature request: option that completely disallows typing.cast

Feature

An option that disallows use of typing.cast, eg --disallow-casts

Pitch

cast() gets around static type safety without ensuring dynamic type correctness. Sometimes you have to use it—you know how it is—but it's not ideal. (For instance, mypy documentation seems to imply the main use of cast is when the typechecker or type annotations aren't quite good enough.) That means, in my opinion, cast is a great candidate to have a option disallowing its use, to ensure code quality in codebases where it is not needed.

I also think this option should be enabled in strict mode, but I suspect other people might disagree.

This proposal is distinct from the --warn-redundant-casts option that already exists, but is somewhat similar.

まず、既存の --warn-redundant-casts オプションがどのように実装されているかを確認し、これを strict mode に含めるべきかどうかについての議論を読んでください。typing.cast の想定される扱いと設定動作を定義し、その後、新しいオプションが cast を拒否すること、および選択した strict mode の動作がテストでカバーされていることを確認してください。