Comment by asdkop

I'm not really sure what your point is. "Rust without all of the functionality" is sort of a ridiculous thing to say given the goals of the two projects are completely different. You can't really apply DbC in Rust, and Rust makes it difficult to iterate upon ideas due to its rigid borrow checker.