On 2013-11-21, at 4:16, Ziad Hatahet <[email protected]> wrote:

> What about @/Gc<> types then? You could still potentially reuse them.
> 
> --
> Ziad
> 
> 
> On Wed, Nov 20, 2013 at 5:58 PM, Tommi <[email protected]> wrote:
> While I'm trying to argue why the proposed solution is not a full solution to 
> the proposed problem, I don't even think that the proposed problem is a 
> problem. Here's why: if you make a call foo(arg) and never use arg after 
> that, then you don't care if arg gets moved or borrowed. And if you try to 
> use arg afterwards and foo did in fact move it previously, then your IDE is 
> going to tell you about it by drawing a red squiggly line under that 
> incorrect use of arg.
> 

Garbage collected variables are owned by the runtime and the programmer cannot 
move (change the ownership of) them.

_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev

Reply via email to