{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// Collects the list of all tools registered using `#![register_tool]`.
    query registered_tools(_: ()) -> &'tcx ty::RegisteredTools {