mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Remove mention of -Zborrowck=mir with Polonius. (#1367)

This commit is contained in:
Eric Huss 2022-06-08 15:30:43 -07:00 committed by GitHub
parent e83cd73692
commit 375a9f06e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/tests/compiletest.md
View File

@ -506,7 +506,7 @@ CLI flag:
The possible compare modes are:
* `polonius` — Runs with Polonius with `-Zpolonius -Zborrowck=mir`.
* `polonius` — Runs with Polonius with `-Zpolonius`.
* `chalk` — Runs with Chalk with `-Zchalk`.
* `split-dwarf` — Runs with unpacked split-DWARF with `-Csplit-debuginfo=unpacked`.
* `split-dwarf-single` — Runs with packed split-DWARF with `-Csplit-debuginfo=packed`.