flux_middle::rty::fold

Trait TypeSuperVisitable

Source 
pub trait TypeSuperVisitable: TypeVisitable {
    // Required method
    fn super_visit_with<V: TypeVisitor>(
        &self,
        visitor: &mut V,
    ) -> ControlFlow<V::BreakTy>;
}

Required Methods§

Source

fn super_visit_with<V: TypeVisitor>( &self, visitor: &mut V, ) -> ControlFlow<V::BreakTy>

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§