Yeah this is the stuff I meant when I said high level languages should borrow from Rust.

It's also good to remind people that these things were borrowed by Rust from other languages too. Primarily the ML family of languages.