Generic class clone method using property variable for type arg produces name-defined error

My Python code is running fine for what I want it to do, but I've had to silence this mypy error in this case, where it does not appear to be correct. A property is used to access the __orig_class__ variable.

To reproduce:
mypy playground - https://mypy-play.net/?mypy=1.10.0&python=3.12&gist=063c6160fe6d1bf37973f47906a6d997

from __future__ import annotations
from typing import Generic, TypeVar, get_args

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

class Foo(Generic[T]):
    @property
    def t(self) -> type[T]:
        return get_args(self.__orig_class__)[0]  # Get the type arg, (int)
    
    def clone(self) -> Foo[T]:
        return Foo[self.t]()  # test.py:12: error: Name "self.t" is not defined  [name-defined]
    
    def no_complaint(self) -> None:
        print(self.t("1"))


foo = Foo[int]()
foo.no_complaint()  # `1`
r = foo.clone()
r.no_complaint()    # `1`

Expected behaviour
Mypy reports no errors, python code runs correctly.

Actual behaviour
Python code runs correctly.
Mypy returns
test.py:12: error: Name "self.t" is not defined [name-defined]

Environment
Base install with:
mypy==1.10.0
python==3.11.4

Inizia con il mypy playground collegato e con l’esempio riportato per Python 3.12 e mypy 1.10.0 in test.py, quindi traccia come viene prodotto il diagnostico name-defined per self.t all’interno di Foo.clone. Il lavoro è completato quando la riproduzione non segnala errori e mantiene il comportamento mostrato a runtime.