Trait rustc_mir_build::lints::TerminatorClassifier

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

Required Methods§

source

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

Implementors§

source§

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

source§

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