{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"true,"}]}
                    true,
                    hir::TraitItemKind::Fn(sig, hir::TraitFn::Provided(body_id)),
                )