ruff

[ty] Don't track inferability via different `Type` variants

#20677

Open