{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// refer to a node created used `encode_diagnostic` in the previous session.
    /// This forces a diagnostic node green by running its side effect. `prev_index` would
    #[inline]