Python 3.7.4, typing_extensions 3.7.4, ... However, if I set a default value: ... In each of the signatures of an @overload'ed function, the allowed default values of an optional parameter should be ...