Possibility to type `tuple.__hash__` to only accept hashable items

If a tuple contains unhashable entries, hashing it would raise TypeError. Is this possible to type? Currently, tuple.__hash__ is just a regular method that returns int.

This initial idea comes to mind, but on second thought, it would likely break a lot of code:

class tuple(Sequence[_T_co]):
    def __hash__(self: tuple[Hashable, ...]) -> int: ...

issue で説明されているとおり、まず typeshed にあるクラス tuple とそのメソッド tuple.hash の定義から始めます。既存のコードを壊さずに、Hashable な要素からなるタプルにハッシュを制限することが妥当かどうかを調査し、その後、決定した型付けの方針を文書化して、関連する型チェックの挙動に対して検証します。