Trait rustc_middle::ty::subst::Subst

pub trait Subst<'tcx>: Sized {
    type Inner;

    fn subst(
        self, 
        tcx: TyCtxt<'tcx>, 
        substs: &[GenericArg<'tcx>]
    ) -> Self::Inner;
}

Required Associated Types

type Inner

Required Methods

fn subst(self, tcx: TyCtxt<'tcx>, substs: &[GenericArg<'tcx>]) -> Self::Inner

Implementors

impl<'tcx, T: TypeFoldable<'tcx>> Subst<'tcx> for EarlyBinder<T>

type Inner = T