Closed
Description
Add operator <- for move semantics and operator <-> for in-place swapping. Essential components to making the unique ownership model work. Steal <- from send, turn operator send into |> and make it chain to the right.
Metadata
Metadata
Assignees
Labels
Type
Projects
Relationships
Development
No branches or pull requests
Participants
Activity
msullivan commentedon Jun 13, 2011
<- is in, but the typestate component doesn't exist yet. Receive is now |> but doesn't chain.
msullivan commentedon Jun 21, 2011
Swap is implemented.
graydon commentedon Jun 28, 2011
Is there much left to do here, aside from "fix bugs as they occur"?
msullivan commentedon Jun 28, 2011
Tim has implemented the typestate stuff.
Currently we don't properly check that the arguments to swap are lvals and that the RHS of move is a local. The former will trip an llvm assert, the latter will compile and do the wrong thing.
Otherwise I think it should be good?
graydon commentedon Jun 28, 2011
Heh. Ok. Want to fix those?
msullivan commentedon Jun 29, 2011
The swap issue has been fixed in #590 and the move issue has been opened as #591.
I'm going to close this bug.
Auto merge of rust-lang#410 - kallisti5:master, r=alexcrichton
Merge pull request rust-lang#441 from Maxgy/master
Continued Type Analysis Updates (rust-lang#410)
Merge pull request rust-lang#410 from vuittont60/master
Merge pull request rust-lang#410 from heiher/loongarch64