Severe performance degradation with lots of constrained type variables in a generic class

Bug Report, To Reproduce, and Actual Behaviour

Mypy runs noticeably slower when analysing a class created from @dataclass or @dataclass_transform(), if the class is parameterised by constrained type variables. The increase in analysis time itself increases the more constrained type variables are added.

Upper-bounded type variables don't suffer this problem.

See mypy Playground, which fails with exit code 500. It isn't necessary to add fields on the class body, although it hits the performance problem with less type variables if you do. The snippet is roughly:

from typing_extensions import TypeVar, Generic
from dataclasses import dataclass

# Constrained
T1 = TypeVar("T1", int, None)
T2 = TypeVar("T2", int, None)
...
T20 = TypeVar("T20", int, None)

@dataclass
class A(Generic[T1, T2, ..., T20]):
    pass

Expected Behavior

Is it sensible to expect performance to be similar to upper-bounded type variables?

Your Environment

• Mypy version used: 1.17.1
• Python version used: 3.11, 3.12

Reproduziere die Verlangsamung im verlinkten mypy Playground mit dem Beispiel für einen eingeschränkten TypeVar und vergleiche sie anschließend mit der Version mit oberer Schranke. Untersuche den Analysepfad für dataclass- oder dataclass_transform-Klassen und bestätige den Abschluss, wenn viele eingeschränkte Variablen nicht mehr eine unverhältnismäßig lange Analysezeit verursachen.