# Trait stable_mir::visitor::Visitable

source ·

    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§

source

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

## Provided Methods§

source

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

## Object Safety§

This trait is not object safe.

## Implementations on Foreign Types§

source§

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

source§

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

source§

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

source§

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

## Implementors§

source§

### impl Visitable for ExistentialPredicate

source§

### impl Visitable for GenericArgKind

source§

### impl Visitable for RigidTy

source§

### impl Visitable for TermKind

source§

### impl Visitable for Opaque

source§

### impl Visitable for Allocation

source§

### impl Visitable for ConstDef

source§

### impl Visitable for FnSig

source§

### impl Visitable for GenericArgs

source§

### impl Visitable for MirConst

source§

### impl Visitable for Region

source§

### impl Visitable for Ty

source§

### impl Visitable for TyConst

source§

### impl Visitable for UnevaluatedConst

source§

### impl Visitable for Promoted

source§

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