Struct rustc_infer::infer::fudge::InferenceFudger

pub struct InferenceFudger<'a, 'tcx> {
    infcx: &'a InferCtxt<'a, 'tcx>,
    type_vars: (Range<TyVid>, Vec<TypeVariableOrigin>),
    int_vars: Range<IntVid>,
    float_vars: Range<FloatVid>,
    region_vars: (Range<RegionVid>, Vec<RegionVariableOrigin>),
    const_vars: (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>),
}

Fields

infcx: &'a InferCtxt<'a, 'tcx>

type_vars: (Range<TyVid>, Vec<TypeVariableOrigin>)

int_vars: Range<IntVid>

float_vars: Range<FloatVid>

region_vars: (Range<RegionVid>, Vec<RegionVariableOrigin>)

const_vars: (Range<ConstVid<'tcx>>, Vec<ConstVariableOrigin>)

Trait Implementations

impl<'a, 'tcx> TypeFolder<'tcx> for InferenceFudger<'a, 'tcx>

pub fn tcx<'b>(&'b self) -> TyCtxt<'tcx>

pub fn fold_ty(&mut self, ty: Ty<'tcx>) -> Ty<'tcx>

pub fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

pub fn fold_const(&mut self, ct: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>

pub fn fold_binder<T>(&mut self, t: Binder<T>) -> Binder<T> where
    T: TypeFoldable<'tcx>,