Lines Matching full:invariant

69             // INVARIANT: we own the only reference to the array which is being dropped so the  in drop()
70             // broken invariant is not observable on function exit.  in drop()
74         // SAFETY: `self.xa` is always valid by the type invariant.  in drop()
97             // INVARIANT: `xa` is initialized here to an empty, valid [`bindings::xarray`].  in new()
108         // SAFETY: `self.xa` is always valid by the type invariant.  in iter()
113             // SAFETY: `self.xa` is always valid by the type invariant.  in iter()
123         // SAFETY: `self.xa` is always valid by the type invariant.  in try_lock()
136         // SAFETY: `self.xa` is always valid by the type invariant.  in lock()
158         // - `self.xa.xa` is always valid by the type invariant.  in drop()
185         // SAFETY: `self.xa.xa` is always valid by the type invariant.  in load()
210         // - `self.xa.xa` is always valid by the type invariant.  in remove()
242             // - `self.xa.xa` is always valid by the type invariant.  in store()
245             // INVARIANT: `new` came from `T::into_foreign`.  in store()