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::TypeOrigin[src]

pub enum TypeOrigin {
    Misc(Span),
    MethodCompatCheck(Span),
    ExprAssignable(Span),
    RelateTraitRefs(Span),
    RelateSelfType(Span),
    MatchExpressionArm(Span, Span),
    IfExpression(Span),
}

Why did we require that the two types be related?

See error_reporting.rs for more details

Variants

Misc
MethodCompatCheck
ExprAssignable
RelateTraitRefs
RelateSelfType
MatchExpressionArm
IfExpression

Methods

impl TypeOrigin

fn span(&self) -> Span

Trait Implementations

impl Repr for TypeOrigin

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

Derived Implementations

impl Clone for TypeOrigin

fn clone(&self) -> TypeOrigin

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