Skip to content

Commit

Permalink
Merge pull request #294 from JohnTitor/clarify-safe-vs-unsafe-relation
Browse files Browse the repository at this point in the history
Clarify the Safe vs. Unsafe Rust relationship
  • Loading branch information
ehuss authored Oct 16, 2021
2 parents b6808de + e43b811 commit 6c2aeef
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/safe-unsafe-meaning.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ of Safe Rust, the *soundness property*:
The design of the safe/unsafe split means that there is an asymmetric trust
relationship between Safe and Unsafe Rust. Safe Rust inherently has to
trust that any Unsafe Rust it touches has been written correctly.
On the other hand, Unsafe Rust has to be very careful about trusting Safe Rust.
On the other hand, Unsafe Rust cannot trust Safe Rust without care.

As an example, Rust has the [`PartialOrd`] and [`Ord`] traits to differentiate
between types which can "just" be compared, and those that provide a "total"
Expand Down

0 comments on commit 6c2aeef

Please sign in to comment.