Rollup merge of #105532 - poliorcetics:document-remap-order, r=JohnTitor

Document behaviour of `--remap-path-prefix` with several matches
This commit is contained in:
Matthias Krüger 2022-12-11 09:51:56 +01:00 committed by GitHub
commit 12c2fd294f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -434,6 +434,9 @@ replacement is purely textual, with no consideration of the current system's
pathname syntax. For example `--remap-path-prefix foo=bar` will match
`foo/lib.rs` but not `./foo/lib.rs`.
When multiple remappings are given and several of them match, the **last**
matching one is applied.
<a id="option-json"></a>
## `--json`: configure json messages printed by the compiler