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

pub enum fixup_err {
    unresolved_int_ty(IntVid),
    unresolved_float_ty(FloatVid),
    unresolved_ty(TyVid),
    cyclic_ty(TyVid),
    unresolved_region(RegionVid),
    region_var_bound_by_region_var(RegionVid, RegionVid),
}

Variants

unresolved_int_ty
unresolved_float_ty
unresolved_ty
cyclic_ty
unresolved_region
region_var_bound_by_region_var