Trait BranchFilter

Source
pub trait BranchFilter<T: Types>: WithSpan {
    // Required methods
    fn satisfy(&self, ty: &Type) -> bool;
    fn expect(&self, defs: &Defs) -> String;
}

Required Methods§

Source

fn satisfy(&self, ty: &Type) -> bool

Source

fn expect(&self, defs: &Defs) -> String

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§