Lines Matching full:inside

19 /// a [`ListArc`] exists or not. We refer to this logic as "the tracking inside `T`".
21 /// We allow the case where the tracking inside `T` thinks that a [`ListArc`] exists, but actually,
28 /// A consequence of the above is that you may implement the tracking inside `T` by not actually
34     /// Informs the tracking inside this type that it now has a [`ListArc`] reference.
36     /// This method may be called even if the tracking inside this type thinks that a `ListArc`
44     /// Informs the tracking inside this type that there is no [`ListArc`] reference anymore.
66     /// Additionally, this call will have transitioned the tracking inside `Self` from not thinking
73 /// This macro supports a few different strategies for implementing the tracking inside the type:
143 /// relevant tracking is referred to as "the tracking inside `T`", and the [`ListArcSafe`] trait
146 /// Note that we allow the case where the tracking inside `T` thinks that a `ListArc` exists, but
158 /// * The tracking inside `T` is aware that a `ListArc` reference exists.
320     /// Transmutes an [`Arc`] into a `ListArc` without updating the tracking inside `T`.
325     /// * The tracking inside `T` must think that there is a `ListArc` reference.
332     /// Transmutes a `ListArc` into an [`Arc`] without updating the tracking inside `T`.
334     /// After this call, the tracking inside `T` will still think that there is a `ListArc`
347     /// tracking inside `T` will still think that a `ListArc` exists after this call.
359     /// * The tracking inside `T` must think that there is a `ListArc` reference.