safe
#[safe]
A custom attribute for explaining why an unsafe block is valid and any invariants which must be upheld.
unsafe
See crate-level docs for example usage.