TypeVar declared at class scope with generic bound specialized on an in-scope generic parameter TypeVar doesn't give an error

Bug Report

I don't think that TypeVars at class scope have any particular meaning, but if they reject bound=T they ought to also reject bound=G[T] in the same way.

To Reproduce

from typing import TypeVar, Generic

T = TypeVar("T")

class A:
    pass

class B(A):
    pass

class G(Generic[T]):
    pass

anA = TypeVar("anA", bound=A)

class X(Generic[anA]):
    # error, as expected
    # AnInnerA = TypeVar("AnInnerA", bound=anA)
    AnInnerG = TypeVar("AnInnerG", bound=G[anA])

    def method(self, val: AnInnerG) -> None:
        pass

x: X[A] = X()
g: G[A] = G()

x.method(g)

playground

Expected Behavior

I would have expected to see an error on the line where AnInnerG was defined.

Actual Behavior

No error on AnInnerG's definition, but I cannot find any type I can pass to X.method without provoking an error.

main.py:27: error: Value of type variable "AnInnerG" of "method" of "X" cannot be "G[A]"  [type-var]
Found 1 error in 1 file (checked 1 source file)

Your Environment

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

Inizia eseguendo la riproduzione Python fornita con mypy 1.4.1 e --strict, quindi confrontala con il playground collegato. Analizza come vengono convalidati i TypeVars a livello di classe e i bound generici; il lavoro è completato quando la dichiarazione non valida AnInnerG produce la diagnostica prevista invece di fallire solo alla chiamata del metodo.