Lines Matching defs:post_remove

298     /// If there is a previous call to `prepare_to_insert` and there is no call to `post_remove`
316     /// * The returned pointer is valid until the next call to `post_remove`.
323     /// * Since the most recent call to `prepare_to_insert`, the `post_remove` method must not have
331     /// The caller is granted exclusive access to the returned [`ListLinks`] until `post_remove` is
337     /// * Calls to `prepare_to_insert` and `post_remove` on the same value must alternate.
339     /// * The caller must not give up ownership of the [`ListArc`] unless `post_remove` has been
355     unsafe fn post_remove(me: *mut ListLinks<ID>) -> *const Self;
497         // * Since we have ownership of the `ListArc`, `post_remove` must have been called after
501         //   calls `post_remove` before giving up ownership.
503         // SAFETY: We have not yet called `post_remove`, so `list_links` is still valid.
681         let raw_item = unsafe { T::post_remove(list_links) };
682         // SAFETY: The above call to `post_remove` guarantees that we can recreate the `ListArc`.