{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"///"}]}
        /// projection is UB.
        /// The thing being indexed must be at least this long -- otherwise, the
        ///