Struct FreeVarFolder

struct FreeVarFolder<'tcx, 'a> {
    cx: TyCtxt<'tcx>,
    free_var_cnt: usize,
    infcx: &'a InferCtxt<'tcx>,
    span: Span,
}

Fields

cx: TyCtxt<'tcx>

free_var_cnt: usize

infcx: &'a InferCtxt<'tcx>

span: Span

Implementations

impl<'tcx, 'a> FreeVarFolder<'tcx, 'a>

pub fn new( cx: TyCtxt<'tcx>, infcx: &'a InferCtxt<'tcx>, span: Span, ) -> FreeVarFolder<'tcx, 'a>

Trait Implementations

impl<'tcx> TypeFolder<TyCtxt<'tcx>> for FreeVarFolder<'tcx, '_>

fn cx(&self) -> TyCtxt<'tcx>

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

fn fold_binder<T>(&mut self, t: Binder<I, T>) -> Binder<I, T>

where T: TypeFoldable<I>,

fn fold_ty(&mut self, t: <I as Interner>::Ty) -> <I as Interner>::Ty

fn fold_const(&mut self, c: <I as Interner>::Const) -> <I as Interner>::Const

fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate