Trait ExprOperations

pub trait ExprOperations {
    // Provided method
    fn subs_refs<'a, Iter: IntoIterator<Item = [&'a dyn Expr; 2]>>(
        &self,
        substitutions: Iter,
    ) -> Box<dyn Expr>
       where Self: Expr { ... }
}

Provided Methods

fn subs_refs<'a, Iter: IntoIterator<Item = [&'a dyn Expr; 2]>>( &self, substitutions: Iter, ) -> Box<dyn Expr>

where Self: Expr,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl ExprOperations for &dyn Expr

impl<T> ExprOperations for T

where T: Expr,