diff options
| author | bors <bors@rust-lang.org> | 2018-09-27 19:26:59 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2018-09-27 19:26:59 +0000 |
| commit | 8876906867b2db3c7177d69dd020c40d89177f86 (patch) | |
| tree | d93b3ac7cc723ebb2fb30ef4985dbe192c25c5c4 /src/liballoc_jemalloc | |
| parent | f1694eac74216da22b395a5589b8d080ccd5a2ec (diff) | |
| parent | 610903fb118cb7cbf1474bd6cf11ae8afa380c4e (diff) | |
| download | rust-8876906867b2db3c7177d69dd020c40d89177f86.tar.gz rust-8876906867b2db3c7177d69dd020c40d89177f86.zip | |
Auto merge of #54468 - matthewjasper:fix-polonius, r=nikomatsakis
[NLL] Get Polonius borrow check to work in simple cases * Restores the generation of outlives facts from subtyping. * Restore liveness facts. * Generate invalidates facts at the start point of each location, where we check for errors. * Add a small test for simple cases (previously these cases have compiled, and more recently ICEd). Closes #54212 cc #53142 (will need test) ### Known limitations * Two phase borrows aren't implemented for Polonius yet * Invalidation facts haven't been updated for some of the recent changes to make `Drop` terminators access fewer things. * Fact generation is not as optimized as it could be. * Around 30 tests fail in compare mode, often tests that are ignored in nll compare mode r? @nikomatsakis
Diffstat (limited to 'src/liballoc_jemalloc')
0 files changed, 0 insertions, 0 deletions