Lines Matching full:safety

40     /// # Safety
62         // SAFETY: `Adapter` asserts that `T` can be legally cast to `T::Inner`.
86 /// # Safety
95     // SAFETY: The caller ensures that `inode` is a valid pointer.
97     // SAFETY:
100     //   so we meet its safety requirements.
108 /// # Safety
116     // SAFETY: By caller precondition, this pointer is valid pointer to a `T`, and
119     // SAFETY: By caller precondition, `seq_file` points to a live `seq_file`, so we can lift
140         // SAFETY: `operations` is all stock `seq_file` implementations except for `writer_open`.
158 /// # Safety
170     // SAFETY: The file was opened with `single_open`, which sets `private_data` to a `seq_file`.
172     // SAFETY: By caller precondition, this pointer is live and points to a value of type `T`.
192         // SAFETY: `operations` is all stock `seq_file` implementations except for `writer_open`
204 /// # Safety
212     // SAFETY: The caller ensures that `inode` and `file` are valid pointers.
217 /// # Safety
229     // SAFETY: The caller ensures that `file` is a valid pointer and that `private_data` holds a
247         // SAFETY:
262     // SAFETY:
267     // SAFETY:
300         // SAFETY:
316     // SAFETY:
321     // SAFETY:
354         // SAFETY:
379         // SAFETY: