fn check_item_fn( tcx: TyCtxt<'_>, def_id: LocalDefId, decl: &FnDecl<'_>, ) -> Result<(), ErrorGuaranteed>