Lines Matching full:there

15 /// Declares that this type has some way to ensure that there is exactly one `ListArc` instance for
22 /// there isn't a [`ListArc`]. However, we do not allow the opposite situation where a [`ListArc`]
30 /// there isn't one. This implementation is allowed by the above rule, but it means that
44     /// Informs the tracking inside this type that there is no [`ListArc`] reference anymore.
48     /// Must only be called if there is no [`ListArc`] reference, but the tracking thinks there is.
65     /// If this call returns `true`, then there is no [`ListArc`] pointing to this value.
105                 // SAFETY: The caller promises that there is no `ListArc`.
111                 // SAFETY: The caller promises that there is no `ListArc` reference, and also
112                 // promises that the tracking thinks there is a `ListArc` reference.
139 /// There are various strategies to ensuring that a value has only one `ListArc` reference. The
147 /// actually, there isn't a `ListArc`. However, we do not allow the opposite situation where a
152 /// While this `ListArc` is unique for the given id, there still might exist normal `Arc`
220         // SAFETY: We have a `UniqueArc`, so there is no `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()
325     /// * The tracking inside `T` must think that there is a `ListArc` reference.
334     /// After this call, the tracking inside `T` will still think that there is a `ListArc`
359     /// * The tracking inside `T` must think that there is a `ListArc` reference.
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()
469 /// If the boolean is `false`, then there is no [`ListArc`] for this value.
507 // SAFETY: If this method returns `true`, then by the type invariant there is no `ListArc` before
511 // previous `ListArc`, so if there was a previous `ListArc`, then the destruction of the previous