{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"///"}]}
        /// so we take a bit of an unusual approach with simple constants
        /// across rustc and libstd, but we don't want it public in libstd,
        /// and an `include!()`.