{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
    /// Returns the possibly adjusted pointer.
    /// Executes a retagging operation for a single pointer.
    #[inline]