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.

Beginne damit, zu überprüfen, wie die bestehende --warn-redundant-casts-Option implementiert ist, und lies die Diskussion darüber, ob dies in den strict mode gehört. Lege fest, wie typing.cast behandelt werden soll und wie sich die Konfiguration verhält, und überprüfe anschließend, dass die neue Option Casts ablehnt und dass das gewählte Verhalten im strict mode durch Tests abgedeckt ist.