{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
/// others log errors for later reporting.
/// Certain errors (fatal, bug, unimpl) may cause immediate exit,
pub struct DiagCtxt {