Auto merge of #1770 - RalfJung:no_run, r=RalfJung

make sure that we truly do not run no_run doctests

Author: bors

test-cargo-miri/src/lib.rs

@@ -3,7 +3,7 @@
 /// assert!(cargo_miri_test::make_true());
 /// ```
 /// ```rust,no_run
-/// assert!(cargo_miri_test::make_true());
+/// assert!(!cargo_miri_test::make_true());
 /// ```
 /// ```rust,compile_fail
 /// assert!(cargo_miri_test::make_true() == 5);