Trait Visitable

pub trait Visitable<'tcx> {
    // Required method
    fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result;
}

A type which can be visited.

Required Methods

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

Calls the corresponding visit_* function on the visitor.

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.

Implementations on Foreign Types

impl<'tcx> Visitable<'tcx> for &'tcx Arm<'tcx>

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx> Visitable<'tcx> for &'tcx Block<'tcx>

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx> Visitable<'tcx> for &'tcx Body<'tcx>

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx> Visitable<'tcx> for &'tcx Expr<'tcx>

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx> Visitable<'tcx> for &'tcx Stmt<'tcx>

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx, A, B> Visitable<'tcx> for (A, B)

where A: Visitable<'tcx>, B: Visitable<'tcx>,

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx, T> Visitable<'tcx> for &'tcx [T]

where &'tcx T: Visitable<'tcx>,

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

impl<'tcx, T> Visitable<'tcx> for Option<T>

where T: Visitable<'tcx>,

fn visit<V: Visitor<'tcx>>(self, visitor: &mut V) -> V::Result

Implementors