java.lang.Object
org.checkerframework.framework.util.typeinference.constraint.TUConstraint
org.checkerframework.framework.util.typeinference.constraint.TSubU

public class TSubU extends TUConstraint
A constraint of the form: T <: U
See Also: