> Rust which replaces memory unsafety with a compile error

Rust uses panics for out-of-bounds access protection.

The benefit of dynamic safety checking is that it's more precise. There's a large class of valid programs that are not unsafe that will run fine in Fil-C but won't compile in Rust.