Lines Matching full:exists
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,
23 /// exists, but the tracking thinks it doesn't. This is because the former can at most result in us
29 /// keeping track of anything. To do this, you always claim that a [`ListArc`] exists, even if
32 /// refcounted object, as you otherwise have no way of knowing whether a [`ListArc`] exists.
37 /// reference exists. (But only if that's not actually the case.)
67 /// that a [`ListArc`] exists, to thinking that a [`ListArc`] exists.
75 /// * The `untracked` strategy does not actually keep track of whether a [`ListArc`] exists. When
141 /// also keep track of whether a `ListArc` exists using a boolean, which could allow for the
146 /// Note that we allow the case where the tracking inside `T` thinks that a `ListArc` exists, but
148 /// `ListArc` exists, but the tracking thinks it doesn't. This is because the former can at most
158 /// * The tracking inside `T` is aware that a `ListArc` reference exists.
283 // that a `ListArc` exists. This lets us create a `ListArc`.
299 // that a `ListArc` exists. This lets us create a `ListArc`.
347 /// tracking inside `T` will still think that a `ListArc` exists after this call.
465 /// A utility for tracking whether a [`ListArc`] exists using an atomic.