Skip to content

Stacked Borrows beautififcation, update for EscapeToRaw #524

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
RalfJung merged 16 commits into from
Nov 16, 2018
Merged

Stacked Borrows beautififcation, update for EscapeToRaw #524

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
09919c2
Retag is the only operation that generates new tags
RalfJung Nov 7, 2018
020313d
make freezing inherently part of the high-level reactivate/initiate o…
RalfJung Nov 7, 2018
94e7512
add another mean test case
RalfJung Nov 7, 2018
aa8f523
test for special things that are now possible
RalfJung Nov 7, 2018
a94e197
better test the special exception for reading through unique when thi…
RalfJung Nov 7, 2018
224d03d
organize std tests a bit better
RalfJung Nov 8, 2018
a87e952
Separate deref and access into different operations; add special exce…
RalfJung Nov 9, 2018
5a801c0
adjust comment
RalfJung Nov 12, 2018
ba8eb76
add an interesting demo for &mut being unique
RalfJung Nov 12, 2018
c234009
generalize reborrow-to-raw exception to a general redundancy check
RalfJung Nov 13, 2018
f521fd5
let's call this a redundant reborrow
RalfJung Nov 13, 2018
cf17462
we no longer even try pushing to a frozen location
RalfJung Nov 13, 2018
60e26af
add a sanity assertion
RalfJung Nov 16, 2018
4e34457
bump Rust
RalfJung Nov 16, 2018
c93f6d6
Merge remote-tracking branch 'origin/master' into escape-to-raw
RalfJung Nov 16, 2018
827e518
stacked borrows is broken without full MIR
RalfJung Nov 16, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'origin/master' into escape-to-raw
  • Loading branch information
@RalfJung
RalfJung committed Nov 16, 2018
commit c93f6d6bb0a46b8c45c5074f8d164017c785d327

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.