25 Jan
2021
25 Jan
'21
1:15 p.m.
Thanks for the clarification. If argument/parameter matching follows normal Python rules, then my concern is lessened. Do you happen to know where in the Python parser and/or runtime this limitation is enforced today? In pyright, the check for parameters without defaults after parameters with defaults is done in the parser. This check would need to be moved out of the parser to a later stage because it would need to be conditionalized based on the presence of the @overload decorator. That's doable, but I'm wondering if that same work will need to be done in all type checkers and the Python parser and runtime as well. -- Eric Traut Contributor to Pyright and Pylance Microsoft Corp.