{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// This encodes a diagnostic by creating a node with an unique index and assoicating
    /// `diagnostic` with it, for use in the next session.