Lines Matching full:guarantees

127         // SAFETY: See GUARANTEES comment on each method.
129             // GUARANTEES:
135                 // SAFETY: The caller guarantees that `me` points at a valid value of type `Self`.
141             // GUARANTEES:
158             // GUARANTEES:
171             // GUARANTEES:
191         // SAFETY: See GUARANTEES comment on each method.
193             // GUARANTEES:
224             // GUARANTEES:
238             // GUARANTEES: (always)
244             // GUARANTEES: (only when using the `view_value` safety requirements)
263             // GUARANTEES:
264             // The first guarantee of `view_value` is exactly what `post_remove` guarantees.