TYP simplify overloads of mypy issue is resolved

[MarcoGorelli]

Due to python/mypy#6580 , we've had to add lots of overloads to #40200 - if that issue was resolved, they could be removed

Also, if python/mypy#10194 was recognised as a bug and resolved, then the extra overload for the bool case in #40200 (and any others of that kind) could be removed

[MarcoGorelli]

closing as it seems that bool isn't the union of Literal[True] and Literal[False] in any case, it's not an overload-specific thing:

$ cat t.py 
from typing import Literal, Union

def foo(x: Literal[True, False]) -> None:
    return None

x: bool
foo(x)
$ mypy t.py
t.py:7: error: Argument 1 to "foo" has incompatible type "bool"; expected "Union[Literal[True], Literal[False]]"
Found 1 error in 1 file (checked 1 source file)