[ty] Remove `specialize_constrained` from constraint set module (#23677)
I had added `specialize_constrained` as a way to create a
`Specialization` of a `GenericContext` from a constraint set. But the
new solver in `SpecializationBuilder` does not use it; is generates a
list of `Solutions` separately, so that it can combine the constraint
set solutions with existing solutions from the old solver. That makes
`specialize_constrained` redundant. This PR removes it, to lessen
confusion about how we're actually creating specializations from a
constraint set.