{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// incurring the bounds check of set_position twice.
    /// all current users of that method would need to reset the position later,
    #[inline]