Trait SubstBinder

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

Required Methods

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

Implementations on Foreign Types

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

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

Implementors