How to pass list[tuple[*Ts]] normally without explicitly declaring the type?

[rj-xu]

pyright palyground

from collections.abc import Callable


def func[*Ts](params: list[tuple[*Ts]], f: Callable[[*Ts], None]): ...


def call_func(a: int, b: int | None): ...


func([(1, 2), (1, None)], call_func)

x: list[tuple[int, int | None]] = [(1, 2), (1, None)]
func(x, call_func)

[(1, 2), (1, None)] is list[tuple[int, int] | tuple[int, None]], and can not pass it into func.

Argument of type "list[tuple[Literal[1], Literal[2]] | tuple[Literal[1], None]]" cannot be assigned to parameter "params" of type "list[tuple[*Ts@func]]" in function "func"
"None" is not assignable to "Literal[2]"
PylancereportArgumentType