diff --git a/safe-unsafe-meaning.md b/safe-unsafe-meaning.md index 082970d..2a593ff 100644 --- a/safe-unsafe-meaning.md +++ b/safe-unsafe-meaning.md @@ -70,7 +70,7 @@ basically a language bug. That said, it would be best to minimize *needlessly* relying on properties of concrete safe code. Bugs happen! Of course, I must reinforce that this is only -a concern for Unsafe code. Safe code can't blindly trust anyone and everyone +a concern for Unsafe code. Safe code can blindly trust anyone and everyone as far as basic memory-safety is concerned. On the other hand, safe traits are free to declare arbitrary contracts, but because