Enum rustc::infer::type_variable::TypeVariableOrigin [−] [src]

pub enum TypeVariableOrigin {
    MiscVariable(Span),
    NormalizeProjectionType(Span),
    TypeInference(Span),
    TypeParameterDefinition(Span, Name),
    TransformedUpvar(Span),
    SubstitutionPlaceholder(Span),
    AutoDeref(Span),
    AdjustmentType(Span),
    DivergingStmt(Span),
    DivergingBlockExpr(Span),
    LatticeVariable(Span),
}

🔬 This is a nightly-only experimental API. (rustc_private)

Reasons to create a type inference variable

Variants

MiscVariable(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

NormalizeProjectionType(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

TypeInference(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

TypeParameterDefinition(Span, Name)

🔬 This is a nightly-only experimental API. (rustc_private)

TransformedUpvar(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

SubstitutionPlaceholder(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

AutoDeref(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

AdjustmentType(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

DivergingStmt(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

DivergingBlockExpr(Span)

🔬 This is a nightly-only experimental API. (rustc_private)

LatticeVariable(Span)

🔬 This is a nightly-only experimental API. (rustc_private)