New GitHub issue #95337 from adriangb:<br>
<hr>
<pre>
>From the docs:
```python
Ts = TypeVarTuple('Ts')
def remove_first_element(tup: tuple[Any, *Ts]) -> tuple[*Ts]:
return tup[1:]
# Ts is bound to ()
# Return value is (), which has type tuple[()]
remove_first_element(tup=(1,))
# Ts is bound to (str,)
# Return value is ('spam',), which has type tuple[str]
remove_first_element(tup=(1, 'spam'))
# Ts is bound to (str, float)
# Return value is ('spam', 3.0), which has type tuple[str, float]
remove_first_element(tup=(1, 'spam', 3.0))
```
Notice that "T" is only used once in the function signature, which Pylance will highlight as an error.
In this case, Any is just as meaningful as T (and I would argue semantically better, we don't care what the first element is)
All of the examples (checked with reveal_type) are still valid.
</pre>
<hr>
<a href="https://github.com/python/cpython/issues/95337">View on GitHub</a>
<p>Labels: docs</p>
<p>Assignee: </p>