Class InferenceVariable

  • All Implemented Interfaces:
    ResolvedType

    public class InferenceVariable
    extends java.lang.Object
    implements ResolvedType
    Are meta-variables for types - that is, they are special names that allow abstract reasoning about types. To distinguish them from type variables, inference variables are represented with Greek letters, principally α. See JLS 18