Error with TypeVar with constraints on field initialization

The following example fails to type-check with mypy and pyright, but succeeds with ty:

from dataclasses import dataclass
from typing import TypeVar, Generic

class X:
    pass

class Y(X):
    pass

T = TypeVar("T", X, Y)

@dataclass
class C(Generic[T]):
    v: T

def f(c: C[T]):
    # no error with mypy and ty
    # pyright reports an error on the argument
    c.v = Y()

    # no error with mypy and ty
    # pyright reports an error on the assignment
    d: C[T] = C(Y())

class M(Generic[T]):
    # no error with ty
    # mypy and pyright report an error on the assignment
    c: C[T] = C(Y())

The constraints on T effectively make Y a lower bound for T, meaning that C(Y()) should be considered a valid C[T] for any allowed T. This seems to be correctly understood by mypy for field assignment and constructor assignment within a function, but not for field initialization at the class level.

Comienza con el ejemplo mínimo de Python del issue y compara cómo gestiona mypy las asignaciones a TypeVar restringidos dentro de cuerpos de funciones frente a la inicialización de campos a nivel de clase. Reproduce los resultados diferentes de mypy, pyright y ty, y determina después si la inicialización a nivel de clase debería aceptar C(Y()) para cada T permitido; añade cobertura para los casos informados.