Trait GenericsSubstDelegate

pub trait GenericsSubstDelegate {
    type Error = !;

    // Required methods
    fn sort_for_param(&mut self, param_ty: ParamTy) -> Result<Sort, Self::Error>;
    fn ty_for_param(&mut self, param_ty: ParamTy) -> Result<Ty, Self::Error>;
    fn ctor_for_param(
        &mut self,
        param_ty: ParamTy,
    ) -> Result<SubsetTyCtor, Self::Error>;
    fn region_for_param(&mut self, ebr: EarlyParamRegion) -> Region;
    fn expr_for_param_const(&self, param_const: ParamConst) -> Expr;
    fn const_for_param(&mut self, param: &Const) -> Const;
}

Provided Associated Types

type Error = !

Required Methods

fn sort_for_param(&mut self, param_ty: ParamTy) -> Result<Sort, Self::Error>

fn ty_for_param(&mut self, param_ty: ParamTy) -> Result<Ty, Self::Error>

fn ctor_for_param( &mut self, param_ty: ParamTy, ) -> Result<SubsetTyCtor, Self::Error>

fn region_for_param(&mut self, ebr: EarlyParamRegion) -> Region

fn expr_for_param_const(&self, param_const: ParamConst) -> Expr

fn const_for_param(&mut self, param: &Const) -> Const

Implementors

impl GenericsSubstDelegate for &TVarSubst

type Error = ()

impl GenericsSubstDelegate for GenericArgsDelegate<'_, '_>

impl<F, E> GenericsSubstDelegate for GenericsSubstForSort<F, E>

where F: FnMut(ParamTy) -> Result<Sort, E>,

type Error = E