> I think Rust is much more likely to follow Java's trajectory than OCaml's:

This looks like pipe dream of those Rust devs who usually claim that Rust borrow checker is easiest thing since heating HotPocket in microwave.