I've read (from one from one of the people that contribute to Rust afair), that they were involved building formal verification for Rust, and found that the con

I've read (from one from one of the people that contribute to Rust afair), that they were involved building formal verification for Rust, and found that the control flow is just so complex that its very hard to use the language like this.