BenjaminMidtvedt

Results 2 issues of BenjaminMidtvedt

Hi! I have a system where it's natural to have several length-like units, for which the conversion to meters is defined by the parameters of the system. I set up...

Pylance reports all available overloads for overloaded methods. However, as arguments are provided, some of them can be discarded. Example: ```py @overload def f(x: Literal["foo"], foo: int = 2) ->...

bug