Trait BoundVarReplacerDelegate 

pub trait BoundVarReplacerDelegate {
    type Error = !;

    // Required methods
    fn replace_expr(&mut self, var: BoundReft) -> Result<Expr, Self::Error>;
    fn replace_region(&mut self, br: BoundRegion) -> Result<Region, Self::Error>;
}

Provided Associated Types

type Error = !

Required Methods

fn replace_expr(&mut self, var: BoundReft) -> Result<Expr, Self::Error>

fn replace_region(&mut self, br: BoundRegion) -> Result<Region, Self::Error>

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<F1, F2, E> BoundVarReplacerDelegate for FnMutDelegate<F1, F2, E>

where F1: FnMut(BoundReft) -> Result<Expr, E>, F2: FnMut(BoundRegion) -> Result<Region, E>,

type Error = E