Function rustc_mir::transform::qualify_min_const_fn::check_terminator

fn check_terminator<'tcx, 'a>(
    tcx: TyCtxt<'tcx>, 
    body: &'a Body<'tcx>, 
    def_id: DefId, 
    terminator: &Terminator<'tcx>
) -> Result<(), (Span, Cow<'static, str>)>