{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// This is purely for diagnostic purposes - it is always
    /// after an error occurs, in order to generate a more precise error span.
    /// correct to use `Misc` instead, or to specify