argparse type=bool

When adding an argument with argparse.ArgumentParser.add_argument, it is tempting to pass type=bool to create an option that is specified without a value, such as --enable-foo. This doesn't work, and in fact creates a subtle bug: --enable-foo silently swallows the next argument, so a command like python3 program.py --enable-foo x y z will work but only leave y and z to be used as other arguments. https://stackoverflow.com/a/15008806

To prevent this, I think the best we can do is to add an overload that returns NoReturn when you pass in type=bool.

Comienza por el stub de typeshed para argparse.ArgumentParser.add_argument e inspecciona sus overloads existentes. Revisa la explicación enlazada sobre cómo type=bool consume el argumento siguiente y, después, determina cómo debería encajar el overload solicitado de NoReturn en el stub y añade o actualiza las comprobaciones de typing relevantes. La tarea está terminada cuando el stub rechaza type=bool sin afectar a las declaraciones de argumentos válidas.