> You could even use Rust alongside Fil-C to ensure the unsafe blocks are safe.
Isn't this what MIRI already does?
Isn't this what MIRI already does?
Miri is meant as more of a sanitizer type tool that you use during development to catch bugs. Fil-C is a platform you compile your entire Linux distro with for use in production.
I don't see a point in running Rust code in Fil-C. Due to the way Fil-C works it won't be enough to check the `unsafe` statements, so you'll pay the performance tax on safe code too (onto which you already paid the borrow checker tax!)