fn check_statement<'tcx>( tcx: TyCtxt<'tcx>, body: &Body<'tcx>, def_id: DefId, statement: &Statement<'tcx>) -> Result<(), (Span, Cow<'static, str>)>