Lines Matching full:invariant

143         // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the  in from_raw_mut()
158         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in generic_verify()
181         // INVARIANT: The caller ensures that `index` correspond to a valid entry in the [`Table`].  in new()
237         // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the  in from_raw()
252         // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is  in freq()
262         // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is  in flags()
270         // SAFETY: By the type invariant, the pointer stored in `self` is valid and `index` is  in data()
428         // INVARIANT: The caller ensures that `ptr` is valid for reading and remains valid for the  in from_raw()
443         // INVARIANT: The caller ensures that `ptr` is valid for writing and remains valid for the  in from_raw_mut()
457         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in as_ref()
463         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in as_mut_ref()
522         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in generic_suspend()
529         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in generic_get()
537         // SAFETY: By the type invariant, the pointer stored in `self` is valid.  in register_em_opp()