> It does memory safety, which is good, but it's overly restrictive, disallowing various safe patterns The "safe" patterns Rust disallows tend to not account f

> It does memory safety, which is good, but it's overly restrictive, disallowing various safe patterns The "safe" patterns Rust disallows tend to not account for safe modularity - as in, they impose complex, hard-to-verify requirements on outside code if "safety" is to be preserved. This kind of thing is essentially what the "unsafe" feature in Rust is intended to address.