{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
        // `disambiguator` is 0 iff the constant is deterministic.
        /// same `Const`, we assign them an additional integer index.
        disambiguator: usize,