{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// after an error occurs, in order to generate a more precise error span.
    /// then it will be used to perform HIR-based wf checking
    /// This is purely for diagnostic purposes - it is always