Trait Customization

pub trait Customization<'tcx>: Copy {
    // Required method
    fn successors<'a>(_: &'a BasicBlockData<'tcx>, _: Self) -> Successors<'a>;
}

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

Required Methods

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

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> Customization<'tcx> for (TyCtxt<'tcx>, Instance<'tcx>)

fn successors<'a>( data: &'a BasicBlockData<'tcx>, (tcx, instance): (TyCtxt<'tcx>, Instance<'tcx>), ) -> Successors<'a>

impl<'tcx> Customization<'tcx> for ()

fn successors<'a>(data: &'a BasicBlockData<'tcx>, _: ()) -> Successors<'a>

Implementors