truncate method on vec. It cuts vector’s tail, and this operation doesn’t need to copy content of vector, hence, this is probably an efficient operation.
But how can you cut vector’s head? Or, can you make a new vector that has vec[k…] elements only, totally forgetting original vector?
Risking to go in a misleading direction, should things like into_vec be used, or code like that be used? If so, how pointer is to change, and how to let system know that memory infront of the pointer can be reclaimed.