{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
    /// This tries to atomically mark a node green and assign `index` as the new
    /// index. This returns `Ok` if `index` gets assigned, otherwise it returns