Merge ref 'd1ee5e59a964' from rust-lang/rust

Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: rust-lang/rust@d1ee5e5
Filtered ref: rust-lang/miri@76126be
Upstream diff: rust-lang/rust@2d76d9b...d1ee5e5

This merge was created using https://github.com/rust-lang/josh-sync.

Author: The Miri Cronjob Bot

src/tests/intro.md

@@ -62,7 +62,8 @@ would require recompiling the entire standard library, and the entirety of
 package tests:
 
 * `--doc` — Only runs documentation tests in the package.
-* `--no-doc` — Run all tests *except* documentation tests.
+* `--all-targets` — Run all tests *except* documentation tests.
+* `--tests` — Only runs unit and integration tests
 
 [tidy-unit-tests]: https://github.com/rust-lang/rust/blob/HEAD/src/tools/tidy/src/unit_tests.rs