flowistry_pdg::rustc::mir::traversal

Trait Customization

Source
pub trait Customization<'tcx>: Copy {
    // Required method
    fn successors<'a>(
        _: &'a BasicBlockData<'tcx>,
        _: Self,
    ) -> impl DoubleEndedIterator + 'a;
}
Expand description

Lets us plug in some additional logic and data into a Postorder traversal. Or not.

Required Methods§

Source

fn successors<'a>( _: &'a BasicBlockData<'tcx>, _: Self, ) -> impl DoubleEndedIterator + 'a

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§