{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.mem_copy(right.ptr(),"}]}
        self.mem_copy(right.ptr(), left.ptr(), left.layout.size, /*nonoverlapping*/ true)?;
        // Therefore we directly use the underlying `mem_copy` here.
        // This means we also need to do the validation of the value that used to be in `right`