Overload with variadic is not preferred over non-variadic

[erictraut]

The draft section on overload evaluation proposes the following rule:

# > 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.

Pyright doesn't currently enforce this rule in all cases.

@overload
def variadic(x: int, /) -> str:
    ...

@overload
def variadic(x: int, y: int, /, *args: int) -> int:
    ...

def variadic(*args: int) -> int | str:
    return 1

def check_variadic(v: list[int]) -> None:
    ret1 = variadic(*v)
    assert_type(ret1, int) # Failure