diff options
| author | Camelid <camelidcamel@gmail.com> | 2020-11-24 19:54:41 -0800 |
|---|---|---|
| committer | Camelid <camelidcamel@gmail.com> | 2020-11-24 19:54:41 -0800 |
| commit | 50c2739bb4f5692134a152990d9ea96127c47e90 (patch) | |
| tree | ec73f959b18e71507337acccd389b7dd2ae24157 /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 1c389ffeff814726dec325f0f2b0c99107df2673 (diff) | |
| download | rust-50c2739bb4f5692134a152990d9ea96127c47e90.tar.gz rust-50c2739bb4f5692134a152990d9ea96127c47e90.zip | |
Add `summary_opts()` for Markdown summary rendering options
We have a similar function `opts()` that is for rendering the main body of the documentation, but until now we just constructed the options for rendering summaries on the fly. This is a problem if/when we change the enabled options since the different places can get out-of-sync.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions