mdinger fix

pull/10/head
Alexis Beingessner 10 years ago committed by Manish Goregaokar
parent 931281df78
commit 9c7d86acf6

@ -98,7 +98,7 @@ destructors will be successfully called! Hooray!
However BTreeMap is implemented using a modest spoonful of Unsafe (most collections However BTreeMap is implemented using a modest spoonful of Unsafe (most collections
are). That means that it is not necessarily *trivially true* that a bad Ord are). That means that it is not necessarily *trivially true* that a bad Ord
implementation will make BTreeMap behave safely. Unsafe most be sure not to rely implementation will make BTreeMap behave safely. Unsafe must be sure not to rely
on Ord *where safety is at stake*, because Ord is provided by Safe, and memory on Ord *where safety is at stake*, because Ord is provided by Safe, and memory
safety is not Safe's responsibility to uphold. *It must be impossible for Safe safety is not Safe's responsibility to uphold. *It must be impossible for Safe
code to violate memory safety*. code to violate memory safety*.

Loading…
Cancel
Save