Lines Matching full:invariant

43         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
60         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
79         // - By the type invariant of `device::Device`, `self.as_ref().as_raw()` is valid.
394         // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`.
407         // INVARIANT:
442         // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits into
472             // INVARIANT: The type invariant of `Self` guarantees that `size_of::<T> * count` fits
503         // - The pointer is valid due to type invariant on `CoherentAllocation`,
523         // - The pointer is valid due to type invariant on `CoherentAllocation`,
555         // - The pointer is valid due to type invariant on `CoherentAllocation`
575         // - The pointer is valid due to type invariant on `CoherentAllocation`
633         // SAFETY: Device pointer is guaranteed as valid by the type invariant on `Device`.