No way to have individual type variable substitutions in uniform tuples of parametrized types

Suppose we have:

T = TypeVar('T')
Element = tuple[T]

def fn(elements: tuple[Element, ...]): ...

The problem is that T is forced to be the same for every element, i.e. tuple[tuple[int], tuple[int]] will match, while tuple[tuple[float], tuple[int]] won't. Is there currently any support for this? If not, this would be a worthwhile feature - this would be a big help to get type checking and annotations in ctypes :)

この issue には、リポジトリのファイル、テスト、実装のエントリーポイントがありません。まず TypeVar/Element の例から始め、tuple[Element, ...] に対する現在の動作を確認してください。完全なコントリビューションには、最初に合意された仕様が必要で、その後に対応する実装とテストが必要になります。