Does this silly optimization, which students in #cs6120 asked about, have a name? https://github.com/sampsyo/cs6120/discussions/594#discussioncomment-14840141
@adrian I don't know a name for it, but it would be fun to discuss in the context of the Rust type system, where those would have be mutable borrows, and therefore guaranteed not to alias, versus C or C++ where you don't have apriori knowledge.
@dwallach yeah, I can’t think of a practical situation in Rust where this would do anything useful