Trait stable_mir::visitor::Visitable

pub trait Visitable {
    // Required method
    fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>;

    // Provided method
    fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break> { ... }
}

Required Methods

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

Provided Methods

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<T: Visitable> Visitable for Option<T>

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

impl<T: Visitable> Visitable for Vec<T>

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

Implementors

impl Visitable for ExistentialPredicate

impl Visitable for GenericArgKind

impl Visitable for RigidTy

impl Visitable for TermKind

impl Visitable for Opaque

impl Visitable for Allocation

impl Visitable for ConstDef

impl Visitable for FnSig

impl Visitable for GenericArgs

impl Visitable for MirConst

impl Visitable for Region

impl Visitable for Ty

impl Visitable for TyConst

impl Visitable for UnevaluatedConst

impl Visitable for Promoted

impl<T: Visitable> Visitable for Binder<T>