unexpected "var-annotated" when using constrained TypeVar

Bug Report

I expect to not need to annotate the example below

To Reproduce

class C[T: (int, str)]:
    def __init__(self, x: T) -> None:
        self.x = x

Expected Behavior

no errors

Actual Behavior

$ ./venv/bin/mypy t.py
t.py:3: error: Need type annotation for "x"  [var-annotated]

Your Environment

• Mypy version used: 1.17.1
• Mypy command-line flags: n/a
• Mypy configuration options from mypy.ini (and other config files): n/a
• Python version used: 3.13.1

提供された t.py の例と、制約付き TypeVar を使用した mypy コマンドで報告を再現します。self.x への代入がどのように推論されるかを追跡し、その後、例が var-annotated エラーなしで完了することを確認します。