Everyone understands Rust doesn't offer such guarantees.

Even more now after this outage.

But it's a fact that "if it compiles it runs" is often associated with Rust, in HN at least. A quick Algolia search tells me that.