{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"///"}]}
        /// Some constants do not have a deterministic value. To avoid merging two instances of the
        value: Const<'tcx>,
        /// same `Const`, we assign them an additional integer index.