{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// `None` indicates that the list has not been computed yet.
    /// This is soundness-critical, we make a guarantee that all consts syntactically mentioned in a