Trait hax_frontend_exporter::SubstBinder

source · 
pub trait SubstBinder<'tcx, T: TypeFoldable<TyCtxt<'tcx>>> {
    // Required method
    fn subst(self, _: TyCtxt<'tcx>, _: &[GenericArg<'tcx>]) -> Binder<'tcx, T>;
}

Required Methods§

source

fn subst(self, _: TyCtxt<'tcx>, _: &[GenericArg<'tcx>]) -> Binder<'tcx, T>

Implementations on Foreign Types§

source§

impl<'tcx, T: TypeFoldable<TyCtxt<'tcx>>> SubstBinder<'tcx, T> for Binder<'tcx, T>

source§

fn subst( self, tcx: TyCtxt<'tcx>, generics: &[GenericArg<'tcx>], ) -> Binder<'tcx, T>

Implementors§