diff options
| author | bors <bors@rust-lang.org> | 2018-11-02 12:45:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-11-02 12:45:03 +0000 |
| commit | 87a3c1ee7016bbfb782f2fd8adc75b46687ef929 (patch) | |
| tree | d1f5ce96602af0244456e01139806980d7730c8b /src/liballoc | |
| parent | d0c869c323289c5ec4df83e1c9091fa0b3e2fc07 (diff) | |
| parent | d10304eeb5c9e63597b9ee1094aca0f63c4f31ca (diff) | |
| download | rust-87a3c1ee7016bbfb782f2fd8adc75b46687ef929.tar.gz rust-87a3c1ee7016bbfb782f2fd8adc75b46687ef929.zip | |
Auto merge of #55316 - RalfJung:retagging, r=oli-obk
Add Retagging statements This adds a `Retag` statement kind to MIR, used to perform the retagging operation from [Stacked Borrows](https://www.ralfj.de/blog/2018/08/07/stacked-borrows.html). It also kills the old `Validate` statements that I added last year. NOTE: This includes https://github.com/rust-lang/rust/pull/55270. Only [these commits are new](https://github.com/RalfJung/rust/compare/stacked-borrows-ng...RalfJung:retagging).
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions