Struct GenericsSubstFolder 

pub struct GenericsSubstFolder<'a, D> {
    current_index: DebruijnIndex,
    delegate: D,
    refinement_args: &'a [Expr],
}

Substitution for generics, i.e., early bound types, lifetimes, const generics, and refinements. Note that a substitution for refinement parameters (a list of expressions) must always be specified, while the behavior of other generics parameters (types, lifetimes and consts) can be configured with GenericsSubstDelegate.

Fields

current_index: DebruijnIndex

delegate: D

refinement_args: &'a [Expr]

Implementations

impl<'a, D> GenericsSubstFolder<'a, D>

pub fn new(delegate: D, refine: &'a [Expr]) -> Self

impl<D> GenericsSubstFolder<'_, D>

fn expr_for_param(&self, idx: u32) -> Expr

Trait Implementations

impl<D: GenericsSubstDelegate> FallibleTypeFolder for GenericsSubstFolder<'_, D>

type Error = <D as GenericsSubstDelegate>::Error

fn try_fold_binder<T: TypeFoldable>( &mut self, t: &Binder<T>, ) -> Result<Binder<T>, D::Error>

fn try_fold_sort(&mut self, sort: &Sort) -> Result<Sort, D::Error>

fn try_fold_ty(&mut self, ty: &Ty) -> Result<Ty, D::Error>

fn try_fold_subset_ty(&mut self, sty: &SubsetTy) -> Result<SubsetTy, D::Error>

fn try_fold_region(&mut self, re: &Region) -> Result<Region, D::Error>

fn try_fold_expr(&mut self, expr: &Expr) -> Result<Expr, D::Error>

fn try_fold_const(&mut self, c: &Const) -> Result<Const, D::Error>

fn try_fold_bty(&mut self, bty: &BaseTy) -> Result<BaseTy, Self::Error>