| Class | Description |
|---|---|
| Bound |
Bounds are defined for Inference Variables.
|
| BoundSet | |
| ConstraintFormula |
Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.
|
| ConstraintFormula.ReductionResult | |
| ConstraintFormulaSet | |
| ControlFlowLogic |
Consider Control Flow to determine which statements are reachable.
|
| ExpressionHelper | |
| InferenceVariable |
Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.
|
| InferenceVariableSubstitution | |
| Instantiation | |
| InstantiationSet | |
| MethodType |
A MethodType is an ordered 4-tuple consisting of:
1.
|
| ProperLowerBound | |
| ProperUpperBound | |
| Substitution | |
| TypeHelper |
The term "type" is used loosely in this chapter to include type-like syntax that contains inference variables.
|
| TypeInference |
The API exposed by the TypeInference subsystem.
|
| TypeInferenceCache |