Yes, but the tools provided by Rust: Prevent most common ones via aliasing^mutability, Send and Sync marker traits, etc. Require explicitly marking the cases not handled by this, e.g. unsafe features require an unsafe {} block to be used.