Closed
Bug 541605
Opened 14 years ago
Closed 14 years ago
propagate constraints during copying
Categories
(Servo Graveyard :: Rust, defect)
Servo Graveyard
Rust
Tracking
(Not tracked)
RESOLVED
INCOMPLETE
People
(Reporter: graydon, Unassigned)
Details
Copying from one slot to another should add a copy of every constraint that includes the RHS of the assignment to the copy postcondition (with the RHS renamed, in the constraint, to the new LHS slot). In other words: let int x = 10; let int y = 11; check lt(x,y); // postcond = { lt(x,y) } let int z = x; // postcond = { lt(x,y), lt(z,y) } Unless some horrible complications arise that make this impossible, I believe the current rules permit this propagation to work.
Reporter | ||
Comment 1•14 years ago
|
||
Moved to github issue #35.
Status: NEW → RESOLVED
Closed: 14 years ago
Resolution: --- → INCOMPLETE
Updated•14 years ago
|
Group: servo
You need to log in
before you can comment on or make changes to this bug.
Description
•