diff options
| author | bors <bors@rust-lang.org> | 2023-03-16 14:55:28 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-03-16 14:55:28 +0000 |
| commit | b024de1673487c3de0ce7dc4c3c9ec470746006a (patch) | |
| tree | 2335d716322806be92d52eeade9da6a51bfe7900 /compiler/rustc_errors/src/snippet.rs | |
| parent | 3ad2fece144996fb3591dc3250b9fc6b49288a91 (diff) | |
| parent | 782b8692245b392613379f9957c321e47f670b8e (diff) | |
| download | rust-b024de1673487c3de0ce7dc4c3c9ec470746006a.tar.gz rust-b024de1673487c3de0ce7dc4c3c9ec470746006a.zip | |
Auto merge of #2785 - Vanille-N:tree-borrows-merge, r=RalfJung
Tree borrows This PR implements the experimental Tree Borrows (TB) rules for tracking reference aliasing, as an optional alternative to Stacked Borrows (SB). SB and TB are mutually exclusive. Using `-Zmiri-tree-borrows` replaces every invocation of SB with the equivalent TB procedure. A detailed explanation of the TB rules is currently under review, you can find the latest version [here [work in progress]](https://github.com/Vanille-N/tree-borrows/blob/master/model/treebor.pdf). This PR does NOT yet include - enough `fail` tests for TB (although TB is less reliant than SB on `fail` tests to check that the implementation matches the design due to `pass` tests being more strict) - good diagnostics for TB violations
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions