Struct rustc_infer::infer::TypeFreshener

pub struct TypeFreshener<'a, 'tcx> {
    infcx: &'a InferCtxt<'a, 'tcx>,
    ty_freshen_count: u32,
    const_freshen_count: u32,
    ty_freshen_map: FxHashMap<InferTy, Ty<'tcx>>,
    const_freshen_map: FxHashMap<InferConst<'tcx>, &'tcx Const<'tcx>>,
}

Fields

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

ty_freshen_count: u32

const_freshen_count: u32

ty_freshen_map: FxHashMap<InferTy, Ty<'tcx>>

const_freshen_map: FxHashMap<InferConst<'tcx>, &'tcx Const<'tcx>>

Implementations

impl<'a, 'tcx> TypeFreshener<'a, 'tcx>

pub fn new(infcx: &'a InferCtxt<'a, 'tcx>) -> TypeFreshener<'a, 'tcx>

pub(in infer::freshen) fn freshen_ty<F>(
    &mut self,
    opt_ty: Option<Ty<'tcx>>,
    key: InferTy,
    freshener: F
) -> Ty<'tcx> where
    F: FnOnce(u32) -> InferTy, 

pub(in infer::freshen) fn freshen_const<F>(
    &mut self,
    opt_ct: Option<&'tcx Const<'tcx>>,
    key: InferConst<'tcx>,
    freshener: F,
    ty: Ty<'tcx>
) -> &'tcx Const<'tcx> where
    F: FnOnce(u32) -> InferConst<'tcx>, 

Trait Implementations

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

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

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

pub fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'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>,