diff options
| author | Ralf Jung <post@ralfj.de> | 2020-08-08 10:36:16 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-08-08 10:50:30 +0200 |
| commit | 8385146ffaddd90d79dff28d7924140ba079adfa (patch) | |
| tree | 444bce4b6c0a72ed632c693313c10b50b7f38e2a /src/test/rustdoc-ui/coverage/doc-examples.rs | |
| parent | e61621c3078f25365d58cb508cda745007e64d85 (diff) | |
| download | rust-8385146ffaddd90d79dff28d7924140ba079adfa.tar.gz rust-8385146ffaddd90d79dff28d7924140ba079adfa.zip | |
make black_box a NOP in Miri
Diffstat (limited to 'src/test/rustdoc-ui/coverage/doc-examples.rs')
0 files changed, 0 insertions, 0 deletions