I think the proposal is nice, and particularly appreciate the attention to detail with defer and repopulating an inout after moving from it. I agree with the general concerns above. move isn't a function and breaks composition in weird ways, it is built-in. I think that Xiaodi's suggestion is good, given that operators feel more "built in". ...