ruff

[ty] Don't quantify away non-inferable typevars before solving, take 2

#27337

Open