diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-24 22:17:17 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2011-06-24 22:36:53 -0700 |
| commit | 582e1f13f068dd85411405672e29ead829238fbc (patch) | |
| tree | bf3d42e9425857753693fea585e5aa3e9d9ac64b /src/rt/rust_task.cpp | |
| parent | 818d7c939881e22ffd9ff15383cac3f06b60f4fd (diff) | |
| download | rust-582e1f13f068dd85411405672e29ead829238fbc.tar.gz rust-582e1f13f068dd85411405672e29ead829238fbc.zip | |
Invalidate constraints correctly after an assignment expression
Modified typestate to throw away any constraints mentioning a variable on the LHS of an assignment, recv, assign_op, or on either side of a swap. Some code cleanup as well.
Diffstat (limited to 'src/rt/rust_task.cpp')
0 files changed, 0 insertions, 0 deletions