{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    hir::TraitFn::Provided(delegation_results.body_id),
                (delegation.ident, delegation_results.generics, item_kind, true)