{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// that the `u32`-to-`usize` conversions that would be required are
    /// [`rustc_index::newtype_index!`] indices, because this code is hot enough
    /// significant, and space considerations are not important.