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`.