ruff
[ty] Improve exhaustiveness analysis for type variables with bounds or constraints
#21172
Merged
Merged