charon_lib::ast::visitor::wrappers

Trait VisitorWithItem

Source 
pub trait VisitorWithItem: VisitAst {
    // Provided methods
    fn enter_item(&mut self, _item: AnyTransItem<'_>) { ... }
    fn exit_item(&mut self, _item: AnyTransItem<'_>) { ... }
    fn visit_item(&mut self, item: AnyTransItem<'_>) -> ControlFlow<Self::Break> { ... }
}

Provided Methods§

Source

fn enter_item(&mut self, _item: AnyTransItem<'_>)

Source

fn exit_item(&mut self, _item: AnyTransItem<'_>)

Source

fn visit_item(&mut self, item: AnyTransItem<'_>) -> ControlFlow<Self::Break>

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§