Trait ForeachTarget

pub trait ForeachTarget {
    type JumpTarget;

    // Required methods
    fn foreach_target<F>(&self, f: F)
       where F: FnMut(&Self::JumpTarget);
    fn foreach_target_mut<F>(&mut self, f: F)
       where F: FnMut(&mut Self::JumpTarget);
}

Required Associated Types

type JumpTarget

Required Methods

fn foreach_target<F>(&self, f: F)

where F: FnMut(&Self::JumpTarget),

fn foreach_target_mut<F>(&mut self, f: F)

where F: FnMut(&mut Self::JumpTarget),

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

impl<C, T> ForeachTarget for C

where for<'a> &'a C: IntoIterator<Item = &'a T>, for<'a> &'a mut C: IntoIterator<Item = &'a mut T>, T: ForeachTarget,

type JumpTarget = <T as ForeachTarget>::JumpTarget

impl<S, C> ForeachTarget for Arena<S, C>

where BasicBlock<S, C, BbId>: ForeachTarget<JumpTarget = BbId>,

type JumpTarget = usize

impl<S, C, T> ForeachTarget for BasicBlockInner<S, C, T>

where S: ForeachTarget<JumpTarget = T>, C: ForeachTarget<JumpTarget = T>,

type JumpTarget = T

impl<S, C, T> ForeachTarget for BasicBlock<S, C, T>

where S: ForeachTarget<JumpTarget = T>, C: ForeachTarget<JumpTarget = T>,

type JumpTarget = T

impl<T> ForeachTarget for Unconditional<T>

type JumpTarget = T

impl<T> ForeachTarget for Dummy<T>

type JumpTarget = T