TypeVarTuple with Callable and default arguments

Previous discussion: https://github.com/microsoft/pyright/issues/3775

I've been playing around with TypeVarTuples recently, in particular together with Callable and args.
https://peps.python.org/pep-0646/#type-variable-tuples-with-callable

One issue became obvious early on which isn't defined in the PEP itself.

How should default arguments be handled?

A common pattern, especially in async code, is to pass a callable and it's args to a function

from typing import Callable
from typing_extensions import TypeVarTuple

Ts = TypeVarTuple("Ts")

def call_later(cb: Callable[[*Ts], None], *args: *Ts) -> None: ...

That works well if all arguments are required

def func1(x: int, y: int, z: int) -> None: ...
call_later(func1, 0, 0, 0)  # ok

However, what should happen if y and z have default arguments?

def func2(x: int, y: int = 0, z: int = 0) -> None: ...
call_later(func2, 0)

Instinctively, I would think that it should work, too. As @erictraut did point out though, there are at least a few cases where the behavior would need to be further specified / or explicitly forbidden.

Bắt đầu bằng cách đọc cuộc thảo luận trước đó trong issue 3775 và phần PEP 646 về TypeVarTuples với Callable. So sánh các ví dụ về đối số bắt buộc và đối số mặc định, cùng với các trường hợp biên được nêu ra trong cuộc thảo luận, rồi xác định một hành vi được đặc tả hoặc bị cấm rõ ràng đối với các đối số mặc định.