mypy 1.14.1
-1.7sec
+1.8sec
|
pyright 1.1.391
-1.5sec
+1.6sec
|
pyre 0.9.23
-5.9sec
+6.0sec
|
pytype 2024.10.11
-31.0sec
+31.2sec
|
||
|---|---|---|---|---|---|
@@ -693,7 +693,7 @@ Python Type System Conformance Test Results | |||||
| overloads_evaluation | Partial Does not pick a winning overload based on arity, prior to considering argument types. Does not expand boolean arguments to Literal[True] and Literal[False]. Does not expand enum arguments to literal variants. Does not expand tuple arguments to possible combinations. |
Partial Does not expand boolean arguments to Literal[True] and Literal[False]. Does not expand enum arguments to literal variants. Does not expand tuple arguments to possible combinations. |
-Partial Does not expand boolean arguments to Literal[True] and Literal[False]. Does not expand enum arguments to literal variants. Does not expand type[A | B] to type[A] and type[B]. Does not expand tuple arguments to possible combinations. |
+Partial Does not expand boolean arguments to Literal[True] and Literal[False]. Does not expand enum arguments to literal variants. Does not expand type[A | B] to type[A] and type[B]. Does not expand tuple arguments to possible combinations. Does not prefer variadic match to indeterminate-length unpacked argument. |
Partial Does not pick a winning overload based on arity, prior to considering argument types. Does not perform argument expansion (on any types) when matching overloads. |
| overloads_overlap | diff --git a/conformance/tests/overloads_evaluation.py b/conformance/tests/overloads_evaluation.py index f73c27fd1..76150923f 100644 --- a/conformance/tests/overloads_evaluation.py +++ b/conformance/tests/overloads_evaluation.py @@ -166,3 +166,28 @@ def check_expand_tuple(v: int | str) -> None: ret1 = expand_tuple((1, v)) assert_type(ret1, int | str) + +# > Step 4: If the argument list is compatible with two or more overloads, +# > determine whether one or more of the overloads has a variadic parameter +# > (either ``*args`` or ``**kwargs``) that maps to a corresponding argument +# > that supplies an indeterminate number of positional or keyword arguments. +# > If so, eliminate overloads that do not have a variadic parameter. + +@overload +def variadic(x: int, /) -> Literal[0]: + ... + +@overload +def variadic(*args: int) -> int: + ... + +def variadic(*args: int) -> int | str: + return 1 + +# > - If this results in only one remaining candidate overload, it is +# > the winning match. Evaluate it as if it were a non-overloaded function +# > call and stop. + +def check_variadic(v: list[int]) -> None: + ret1 = variadic(*v) + assert_type(ret1, int)|||||