ruff

[ty] Split `Type::KnownInstance` into two type variants

#18350

Merged