diff options
| author | Felix S. Klock II <pnkfelix@pnkfx.org> | 2017-07-05 14:52:18 +0200 |
|---|---|---|
| committer | Felix S. Klock II <pnkfelix@pnkfx.org> | 2017-08-16 16:08:28 +0200 |
| commit | 018784afc968f6aac9cf62b9339f07f1c06e45cb (patch) | |
| tree | fa53a30265ea752925d89f7d2b7b92e9f1c0a998 /src/rustllvm/RustWrapper.cpp | |
| parent | 869f05a5215242d90733bb6cb5455959f01effcd (diff) | |
| download | rust-018784afc968f6aac9cf62b9339f07f1c06e45cb.tar.gz rust-018784afc968f6aac9cf62b9339f07f1c06e45cb.zip | |
MIR based borrow check (opt-in).
One can either use `-Z borrowck-mir` or add the `#[rustc_mir_borrowck]` attribute to opt into MIR based borrow checking. Note that regardless of whether one opts in or not, AST-based borrow check will still run as well. The errors emitted from AST-based borrow check will include a "(Ast)" suffix in their error message, while the errors emitted from MIR-based borrow check will include a "(Mir)" suffix. post-rebase: removed check for intra-statement mutual conflict; replaced with assertion checking that at most one borrow is generated per statement. post-rebase: removed dead code: `IdxSet::pairs` and supporting stuff.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions
