diff options
| author | bors <bors@rust-lang.org> | 2024-03-30 15:45:01 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-30 15:45:01 +0000 |
| commit | f04352a7dd010c0c37c835cd1b72c402460dffe3 (patch) | |
| tree | ce842ad3b1cf0c59ba918a6aea6470096e3a280a /compiler/rustc_data_structures/src/graph/reference.rs | |
| parent | d3accba79b4f700527b6a0e0d05a78127fccf694 (diff) | |
| parent | a8b0f6f239aed52824682c42a3753687483a2607 (diff) | |
| download | rust-f04352a7dd010c0c37c835cd1b72c402460dffe3.tar.gz rust-f04352a7dd010c0c37c835cd1b72c402460dffe3.zip | |
Auto merge of #3430 - RalfJung:doc, r=RalfJung
make some doc comments not doc tests `./miri test --doc` will run doctests even if we have them disabled (that's a cargo quirk: https://github.com/rust-lang/cargo/issues/13668). This fixes that command to not fail.
Diffstat (limited to 'compiler/rustc_data_structures/src/graph/reference.rs')
0 files changed, 0 insertions, 0 deletions