Function check_terminator

fn check_terminator<'tcx>(
    cx: &LateContext<'tcx>,
    body: &Body<'tcx>,
    terminator: &Terminator<'tcx>,
    msrv: Msrv,
) -> Result<(), (Span, Cow<'static, str>)>