tuple expression gives different result than equivalent TypeVarTuple usage. #19665
Description
def as_tuple[*Ts](*args: *Ts) -> tuple[*Ts]: return args
def test(one: int, many: tuple[int, ...]) -> None:
reveal_type( (one, *many, one) ) # "builtins.tuple[builtins.int, ...]"
reveal_type( as_tuple(one, *many, one) ) # "tuple[builtins.int, Unpack[builtins.tuple[builtins.int, ...]], builtins.int]"Both of these should infer "tuple[int, *tuple[int, ...], int]"