about summary refs log tree commit diff
path: root/src/test/incremental/thinlto
diff options
context:
space:
mode:
authorFelix S. Klock II <pnkfelix@pnkfx.org>2017-12-07 17:45:13 +0100
committerFelix S. Klock II <pnkfelix@pnkfx.org>2017-12-13 15:48:21 -0600
commit5cae7a046922375352ca1ee33ae00df2123972ad (patch)
tree39a8b73704a310309342282c7cf6a888403f2b52 /src/test/incremental/thinlto
parent18aedf6b23db6f409f8d3073ab0c8ca923e9b141 (diff)
downloadrust-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