Lines Matching full:safety

57     /// # Safety
59     /// The implementation of `project` must satisfy its safety post-condition.
69         /// # Safety
79     /// # Safety
87     /// # Safety
97     // SAFETY: `project` returns its argument unchanged, and so it is a
107     // SAFETY: The `Project::project` impl preserves referent address.
110     // SAFETY: The `Project::project` impl preserves referent size.
116     /// # Safety
125     // SAFETY: By the `static_assert!`, `Dst` is no larger than `Src`,
136     // SAFETY: The `Project::project` impl preserves referent address.
142     /// # Safety
152     // SAFETY: By the `static_assert!`, `Dst` has the same size as `Src`,
163     // SAFETY: The `Project::project_raw` impl preserves referent address.
166     // SAFETY: By the `static_assert!`, `Project::project_raw` impl preserves
173     /// # Safety
183     // SAFETY: By the `static_assert!`, `Src` and `Dst` are either:
217     // SAFETY: The `Project::project` impl preserves referent address.
225     // SAFETY: By the `static_assert!` in `Project::project`, `Src` and `Dst`
249     // SAFETY: `HasField::project` has the same safety post-conditions as
262     // SAFETY: All `repr(C)` union fields exist at offset 0 within the union [1],
318     // SAFETY: Since `TU::project` and `UV::project` are each
335     // SAFETY: Since the `Project::project` impl delegates to `TU::project` and
348     // SAFETY: Since the `Project::project` impl delegates to `TU::project` and
365     // SAFETY: `project` constructs a pointer with the same address as `src`
377                 // SAFETY: `KnownLayout::size_of_val_raw` promises to always  in project()
389     // SAFETY: The `Project::project` impl preserves referent address.
392     // SAFETY: The `Project::project` impl preserves the set of referent bytes.
399     // SAFETY: The `project` implementation projects to a subset of its
408     // SAFETY: The `project` implementation preserves referent address.