26 /// safety issues.
39     /// # Safety
46     /// # Safety
54 /// # Safety
101                 // SAFETY: This field is structurally pinned as per the above assertion.
105                 // SAFETY: The caller promises that there is no `ListArc`.
111                 // SAFETY: The caller promises that there is no `ListArc` reference, and also
220         // SAFETY: We have a `UniqueArc`, so there is no `ListArc`.  in from()
223         // SAFETY: We just called `on_create_list_arc_from_unique` on an arc without a `ListArc`,  in from()
256         // SAFETY: We have a `UniqueArc`, so there is no `ListArc`.  in pair_from_pin_unique()
258         // SAFETY: We have a `UniqueArc`, so there is no `ListArc`.  in pair_from_pin_unique()
264         // SAFETY: We just called `on_create_list_arc_from_unique` on an arc without a `ListArc`  in pair_from_pin_unique()
282             // SAFETY: The `try_new_list_arc` method returned true, so we made the tracking think  in try_from_arc()
298             // SAFETY: The `try_new_list_arc` method returned true, so we made the tracking think  in try_from_arc_borrow()
322     /// # Safety
328         // INVARIANT: By the safety requirements, the invariants on `ListArc` are satisfied.  in transmute_from_arc()
340         // SAFETY: ListArc is repr(transparent).  in transmute_to_arc()
355     /// # Safety
357     /// * `ptr` must satisfy the safety requirements of [`Arc::from_raw`].
362         // SAFETY: The pointer satisfies the safety requirements for `Arc::from_raw`.  in from_raw()
364         // SAFETY: The value doesn't already have a `ListArc` reference, but the tracking thinks it  in from_raw()
373         // SAFETY: There is no longer a `ListArc`, but the tracking thinks there is.  in into_arc()
429         // SAFETY: There is no longer a `ListArc`, but the tracking thinks there is by the type  in drop()
489         // SAFETY: The `inner` field is not structurally pinned, so we may obtain a mutable  in project_inner()
507 // SAFETY: If this method returns `true`, then by the type invariant there is no `ListArc` before