propagate constraints during copying

RESOLVED INCOMPLETE

Status

Servo
Rust
RESOLVED INCOMPLETE
8 years ago
8 years ago

People

(Reporter: graydon, Unassigned)

Tracking

Details

(Reporter)

Description

8 years ago
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

8 years ago
Moved to github issue #35.
Status: NEW → RESOLVED
Last Resolved: 8 years ago
Resolution: --- → INCOMPLETE
Group: servo
You need to log in before you can comment on or make changes to this bug.