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