14. The computer-readable storage medium of claim 13 , 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.
14. The computer-readable storage medium of claim 13 , 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. 16. The computer-readable storage medium of claim 14 , wherein choosing the binding for the generic type parameter based on the updated lower limit involves: if the generic type parameter is not associated with a set of constraints, using the inference choice as the binding for the generic type parameter.