Walter Bright:
I can't imagine users going to the bother of typing all that, let alone what happens when they do it wrong. Most users don't really have a good handle on what the lifetimes of their data are, so how are they going to annotate it correctly?
I suggest you to go in the Rust mailing list and ask this question again.
Bye, bearophile