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.

Empieza revisando cómo está implementada la opción existente --warn-redundant-casts y lee la discusión sobre si esto debe formar parte del strict mode. Define el tratamiento previsto de typing.cast y su comportamiento de configuración; después, verifica que la nueva opción rechace los casts y que el comportamiento elegido para el strict mode esté cubierto por pruebas.