[Pitch] Move Function + "Use After Move" Diagnostic

That Thank you for linking the manifesto. It should be noted that the ownership manifesto is (years) out-of-date in at least some regards, which is why I think it’s important for this proposal to be a self-contained justification for the feature it introduces.

If the elaboration required to explain how move fits into the ownership story is too large, or too irrelevant to the feature itself, then I think we need an updated version of the manifesto and/or a guiding document like the concurrency roadmap to help understand how ownership features will fit together.

If the rest of the ownership model isn’t at a point where it will be ready for review soon, I don’t really understand how we can properly evaluate the individual pieces.

10 Likes