diff options
| author | bors <bors@rust-lang.org> | 2019-06-22 05:12:11 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-06-22 05:12:11 +0000 |
| commit | 305930cffeac1da0fd73a08d9f5680e4a49bfb9f (patch) | |
| tree | 8a5facc751be7b4aa6f16efeacb5eaa030aa8603 /src/test/rustdoc-ui/coverage/basic.rs | |
| parent | e562b24ae325f5a31b7ba5873e3db426a14e6342 (diff) | |
| parent | f483269625f4f8f0f73bb3dc35986894fc51248a (diff) | |
| download | rust-305930cffeac1da0fd73a08d9f5680e4a49bfb9f.tar.gz rust-305930cffeac1da0fd73a08d9f5680e4a49bfb9f.zip | |
Auto merge of #62010 - ecstatic-morse:kill-borrows-of-proj, r=pnkfelix
Kill conflicting borrows of places with projections. Resolves #62007. Due to a bug, the previous version of this check did not actually kill all conflicting borrows unless the borrowed place had no projections. Specifically, `sets.on_entry` will always be empty when `statement_effect` is called. It does not contain the set of borrows which are live at this point in the program. @pnkfelix describes why this was not caught before in #62007, and created an example where the current borrow checker failed unnecessarily. This PR adds their example as a test, but they will likely want to add some additional ones. r? @pnkfelix
Diffstat (limited to 'src/test/rustdoc-ui/coverage/basic.rs')
0 files changed, 0 insertions, 0 deletions