Trait BranchFilter

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

Required Methods

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

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

impl BranchFilter<Rc<FnSignWithName>> for FnParamLen<'_>

impl BranchFilter<Rc<FnSignWithName>> for NthParamTyEqual<'_>

impl<T: Types> BranchFilter<T> for TypeEqual<'_>

impl<T: Types, Fs, Fe> BranchFilter<T> for CustomFilter<T, Fs, Fe>

where Fs: Fn(&Type) -> bool, Fe: Fn(&Defs) -> String,