diff options
| author | Matthew Jasper <mjjasper1@gmail.com> | 2018-09-26 20:41:14 +0100 |
|---|---|---|
| committer | Matthew Jasper <mjjasper1@gmail.com> | 2018-09-26 22:03:56 +0100 |
| commit | 610903fb118cb7cbf1474bd6cf11ae8afa380c4e (patch) | |
| tree | 8c963159efe112a8afe1946261b136f343bd767e /src/liballoc | |
| parent | c7df1f530b8a88f471e60e933868e7ddf456974d (diff) | |
| download | rust-610903fb118cb7cbf1474bd6cf11ae8afa380c4e.tar.gz rust-610903fb118cb7cbf1474bd6cf11ae8afa380c4e.zip | |
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.
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions