ruff

[ty] More consistent encoding of which typevars are inferable

#27653

Merged