Idea: Limited custom move semantics through explicitly specified relocations

[matklad]

"Let's add custom move semantics to Rust" seems to be a popular idea!

Idea: on movable self-referential structs

One of mainstream approaches to self-referential structs problem is introduction of immovable types. I would like to propose a slightly different, but compatible approach. (probably it was already proposed by someone, so I will be grateful for any links on previous related discussions) For additional context read this thread. We’ll start with introduction of Move trait, which is probably quite similar to C++ move constructor: trait Move: Sized { unsafe fn _move(&mut self, offset: isize); }…

I personally think that "move is memcopy" is a HUGELY important property of Rust. Like, you can just grow vector with realloc.