{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
/// in `rustc_middle` otherwise. It is used when diagnostic messages are
/// This is a callback from `rustc_errors` as it cannot access the implicit state
/// emitted and stores them in the current query, if there is one.