Class InferenceVariable

  • All Implemented Interfaces:
    ResolvedType

    public class InferenceVariable
    extends 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
    Author:
    Federico Tomassetti