I'm not well versed with either language as I was reading the article published https://cacm.acm.org/blogcacm/21st-century-c/

I suddenly thought of the forward looking trajectory of the idea of making c++ compiler smart(er) as to ease the burden of memory copying (section 3) with zero overhead. If one traces this arc it means that one day c++ compilers would be equivalent to the borrow checker? That is to say they would throw compile time errors for using some construct in c++ that copied instead of moved?