a-mir-formality
a-mir-formality copied to clipboard
Add support for unsafe traits, impls
We need to support unsafe traits and impls. The rust:Send and rust:Sync traits should be defined as unsafe.