“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)