Enum rustc_infer::infer::type_variable::TypeVariableOriginKind

pub enum TypeVariableOriginKind {
    MiscVariable,
    NormalizeProjectionType,
    TypeInference,
    OpaqueTypeInference(DefId),
    TypeParameterDefinition(Symbol, Option<DefId>),
    ClosureSynthetic,
    SubstitutionPlaceholder,
    AutoDeref,
    AdjustmentType,
    DynReturnFn,
    LatticeVariable,
}

Reasons to create a type inference variable

Variants

MiscVariable

NormalizeProjectionType

TypeInference

OpaqueTypeInference(DefId)

TypeParameterDefinition(Symbol, Option<DefId>)

ClosureSynthetic

One of the upvars or closure kind parameters in a ClosureSubsts (before it has been determined).

SubstitutionPlaceholder

AutoDeref

AdjustmentType

DynReturnFn

In type check, when we are type checking a function that returns -> dyn Foo, we substitute a type variable for the return type for diagnostic purposes.

LatticeVariable

Trait Implementations

impl Clone for TypeVariableOriginKind

fn clone(&self) -> TypeVariableOriginKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeVariableOriginKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for TypeVariableOriginKind

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 12 bytes

Size for each variant:

• MiscVariable: 0 bytes
• NormalizeProjectionType: 0 bytes
• TypeInference: 0 bytes
• OpaqueTypeInference: 8 bytes
• TypeParameterDefinition: 12 bytes
• ClosureSynthetic: 0 bytes
• SubstitutionPlaceholder: 0 bytes
• AutoDeref: 0 bytes
• AdjustmentType: 0 bytes
• DynReturnFn: 0 bytes
• LatticeVariable: 0 bytes