{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// Buffer of diagnostics to be reported. A mixture of error and non-error diagnostics.
    buffered_diags: Vec<BufferedDiag<'infcx>>,