diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-04-14 17:49:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-14 17:49:18 +0200 |
| commit | b9da8a71443705afed69733dbfdf66367f6d9bf6 (patch) | |
| tree | 391ee26aee17bc7acb1bf7822f0326df522f79d1 /src/test | |
| parent | d70c5a912edbeca55a84e4185e8fe22918aef8dc (diff) | |
| parent | c440c0a0fd3c875defe5a832a212f305b355334c (diff) | |
| download | rust-b9da8a71443705afed69733dbfdf66367f6d9bf6.tar.gz rust-b9da8a71443705afed69733dbfdf66367f6d9bf6.zip | |
Rollup merge of #59856 - albins:update-polonius, r=nikomatsakis
update polonius-engine This updates polonius-engine to [version 0.7.0](https://github.com/rust-lang/polonius/blob/master/RELEASES.md#v070), which adds a hybrid algorithm that starts off with performing a cheaper, location-insensitive analysis before proceeding with the full analysis. r? @nikomatsakis
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions