[Idea] Two lifetimes on unique references

[Ixrec]

I think this old post by @nikomatsakis is still a fairly accurate summary of where we're at with this sort of idea:

Relaxing the borrow checker for fn (&mut self) -> &T

So this issue comes up repeatedly. My take is this: In the current model, @kvijayan’s claims are not quite correct, but the issue he identifies is annoying, and it’d be nice to have a better solution. First let me explain the model as I see it. I think this is quite similar to what @eddyb has been saying, though there are a lot of comments here and I’ve not parsed them all with 100% care. I think it’s easiest to think of the current model in terms of permissions. So when you do the borrow you g…

Probably the biggest change since he wrote that is simply that we have NLL now , but "a proposal for a Rust memory model" is still a ways off (see GitHub - rust-lang/unsafe-code-guidelines: Forum for discussion about what unsafe code can and can't do)