rustc​::middle​::typeck​::infer

Modules

coercioncombinedocerror_reportingglblatticelubregion_inferenceresolvesubtestunify

Structs

BoundsCombinedSnapshotInferCtxtTypeTrace

Traits

CresCompareToUresthen

Functions

can_mk_subtycommon_supertypefixup_err_to_strfold_regions_in_sigmk_coercetymk_eqtymk_sub_trait_refsmk_subrmk_subtynew_infer_ctxtresolve_regionresolve_typeuok

Enum rustc::middle::typeck::infer::RegionVariableOrigin[src]

pub enum RegionVariableOrigin {
    MiscVariable(Span),
    PatternRegion(Span),
    AddrOfRegion(Span),
    AddrOfSlice(Span),
    Autoref(Span),
    Coercion(TypeTrace),
    EarlyBoundRegion(Span, Name),
    LateBoundRegion(Span, BoundRegion),
    BoundRegionInFnType(Span, BoundRegion),
    UpvarRegion(UpvarId, Span),
    BoundRegionInCoherence(Name),
}

Reasons to create a region inference variable

See error_reporting.rs for more details

Variants

MiscVariable
PatternRegion
AddrOfRegion
AddrOfSlice
Autoref
Coercion
EarlyBoundRegion
LateBoundRegion
BoundRegionInFnType
UpvarRegion
BoundRegionInCoherence

Methods

impl RegionVariableOrigin

fn span(&self) -> Span

Trait Implementations

impl Repr for RegionVariableOrigin

fn repr(&self, tcx: &ctxt) -> String

Derived Implementations

impl Clone for RegionVariableOrigin

fn clone(&self) -> RegionVariableOrigin

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