Oh, I thought they were advocating for something new. Yeah, the split in/inout/out is nice, but doesn't sound particularly better than what we have in Rust. In particular, in my book, return values instead of `out` clearly win in terms of readability.

Also, yay for contracts in Rust :) Looking forward to seeing them proven by model-checkers, too!