Non-hashable tuple should not be accepted as `Hashable`

Bug Report

I'd expect to get a type error when trying to pass a tuple to a Hashable bound if that tuple contains any non-hashable element type.

To Reproduce

from typing import Hashable, TypeVar

T = TypeVar("T", bound=Hashable)

def f(x: T) -> T:
    print(hash(x))
    return x
    
def usage1(x: tuple[dict[str, str], ...]):
    f(x)

def usage2(x: tuple[dict[str, str], int, int]):
    f(x)

def usage3(x: tuple[int, int, dict[str, str]]):
    f(x)

Expected Behavior

Type error in all f(x) lines, rejecting the non-hashable type.

Actual Behavior

The type check passes despite the unsound typing.

Your Environment

• Mypy version used: 1.16.0
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.12

提供されている Python 3.12 と mypy 1.16.0 を使った再現から始め、次に Hashable の境界とタプル要素の型に関する型チェックの経路を調べます。usage1、usage2、usage3 の回帰テストカバレッジを追加します。3 つすべての呼び出しが拒否されれば作業完了です。