charon_lib::ast::visitor

Trait VisitorWithItemMut

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

Provided Methods§

Source

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

Source

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

Source

fn visit_item(&mut self, item: AnyTransItemMut<'_>) -> 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§