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.

Object Safety

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