diff options
| author | Felix S. Klock II <pnkfelix@pnkfx.org> | 2017-12-07 17:45:13 +0100 |
|---|---|---|
| committer | Felix S. Klock II <pnkfelix@pnkfx.org> | 2017-12-13 15:48:21 -0600 |
| commit | 5cae7a046922375352ca1ee33ae00df2123972ad (patch) | |
| tree | 39a8b73704a310309342282c7cf6a888403f2b52 /src/test/incremental/thinlto | |
| parent | 18aedf6b23db6f409f8d3073ab0c8ca923e9b141 (diff) | |
| download | rust-5cae7a046922375352ca1ee33ae00df2123972ad.tar.gz rust-5cae7a046922375352ca1ee33ae00df2123972ad.zip | |
Check activation points as the place where mutable borrows become relevant.
Since we are now checking activation points, I removed one of the checks at the reservation point. (You can see the effect this had on two-phase-reservation-sharing-interference-2.rs) Also, since we now have checks at both the reservation point and the activation point, we sometimes would observe duplicate errors (since either one independently interferes with another mutable borrow). To deal with this, I used a similar strategy to one used as discussed on issue #45360: keep a set of errors reported (in this case for reservations), and then avoid doing the checks for the corresponding activations. (This does mean that some errors could get masked, namely for conflicting borrows that start after the reservation but still conflict with the activation, which is unchecked when there was an error for the reservation. But this seems like a reasonable price to pay.)
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions
