Rust for Morello: Always-On Memory Safety, Even in Unsafe Code

Part of

Rust SeqLock And Concurrency Issues