Trait rustc_mir_build::lints::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>