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