# Safety Preconditions

Safety preconditions are conditions on an action that must be satisfied before
that action will be safe.

<details>

“Safety preconditions are conditions on code that must be satisfied to maintain
Rust's safety guarantees

“You're likely to see a strong affinity between safety preconditions and the
rules of Safe Rust.”

Q: Can you list any?

(Fuller list in the next slide)

</details>
