&gt; you can see C++ adopting pretty much the borrow checker as a tool - see Herb Sutter&#x27;s talk at CppCon 2015 - <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=hEx5DNLWGgA" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=hEx5DNLWGgA</a> .<p>I have a lot of questions about this tool, both in terms of soundness&#x2F;expressivity (how do you deal with shared_ptr and similar things if your goal is to statically guarantee no-alias on function entry) and in terms of practicality (the massive subsetting it requires basically makes ISO Core C++ an entirely new language).<p>Also, Herb&#x27;s claims about the ISO Core C++ lifetime profile requiring fewer annotations than Rust were incorrect.<p>I gave basically this exact answer last time you posted a variant of this same comment on the last Rust thread.