Trait stable_mir::fold::Folder

pub trait Folder: Sized {
    type Break;

    // Provided methods
    fn fold_ty(&mut self, ty: &Ty) -> ControlFlow<Self::Break, Ty> { ... }
    fn fold_const(&mut self, c: &Const) -> ControlFlow<Self::Break, Const> { ... }
    fn fold_reg(&mut self, reg: &Region) -> ControlFlow<Self::Break, Region> { ... }
}

Required Associated Types

type Break

Provided Methods

fn fold_ty(&mut self, ty: &Ty) -> ControlFlow<Self::Break, Ty>

fn fold_const(&mut self, c: &Const) -> ControlFlow<Self::Break, Const>

fn fold_reg(&mut self, reg: &Region) -> ControlFlow<Self::Break, Region>

Implementors

impl Folder for GenericArgs

In order to instantiate a Foldable’s generic parameters with specific arguments, GenericArgs can be used as a Folder that replaces all mentions of generic params with the entries in its list.

type Break = Never