Trait TerminatorClassifier

trait TerminatorClassifier<'tcx> {
    // Required method
    fn is_recursive_terminator(
        &self,
        tcx: TyCtxt<'tcx>,
        body: &Body<'tcx>,
        terminator: &Terminator<'tcx>,
    ) -> bool;
}

Required Methods

fn is_recursive_terminator( &self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>, terminator: &Terminator<'tcx>, ) -> bool

Implementors

impl<'tcx> TerminatorClassifier<'tcx> for CallRecursion<'tcx>

impl<'tcx> TerminatorClassifier<'tcx> for RecursiveDrop<'tcx>