com.sun.tools.javac.code

public enum class: Type.ForAll.ConstraintKind [javadoc | source]

public enum class: Type.ForAll.ConstraintKind [javadoc | source]

java.lang.EnumKind of type-constraint derived during type inferencecom.sun.tools.javac.code.Type$ForAll$ConstraintKind

Field Summary | ||
---|---|---|

public ConstraintKind | EXTENDS | upper bound constraint (a type variable must be instantiated with a type T, where T is a subtype of all the types specified by its EXTENDS constraints). |

public ConstraintKind | SUPER | lower bound constraint (a type variable must be instantiated with a type T, where T is a supertype of all the types specified by its SUPER constraints). |

public ConstraintKind | EQUAL | equality constraint (a type variable must be instantiated to the type specified by its EQUAL constraint. |