8. The system of claim 7 , wherein using the inference choice to perform type inference on the generic type parameter involves: using the inference choice as an updated lower limit of the type interval; and choosing a binding for the generic type parameter based on the updated lower limit.
8. The system of claim 7 , wherein using the inference choice to perform type inference on the generic type parameter involves: using the inference choice as an updated lower limit of the type interval; and choosing a binding for the generic type parameter based on the updated lower limit. 9. The system of claim 8 , wherein the binding is further chosen based on a set of constraints associated with the generic type parameter.