{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"///"}]}
/// This is a callback from `rustc_query_system` as it cannot access the implicit state
/// in `rustc_middle` otherwise.