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

[Alejandro_Martinez]

I keep thinking about the name of this and the fact that is just a function that can't be implemented in the language.

In my mind it would be perfect if the language could implement it int he same way that is implemented in Rust.

@gwendal.roue

can't help but remember the My favorite rust function article.

And after reading the roadmap it feels like it can get close but not completely....

@Michael_Gottesman

One will not be able to define such a function for copyable types in Swift without a special compiler diagnostic. It isn't compiler magic, it is a compiler diagnostic.

So the purist in me feels that it shouldn't be a function. But then again, we see to have other functions in the language that are not implementable at user space so maybe a more pragmatic viewpoint is needed.