diff options
| author | Markus Westerlind <markus.westerlind@distilnetworks.com> | 2020-02-17 16:46:51 +0100 |
|---|---|---|
| committer | Markus Westerlind <markus.westerlind@distilnetworks.com> | 2020-02-17 16:46:53 +0100 |
| commit | ee064befa06ad54193786c9169672f9349d0bfaf (patch) | |
| tree | 047db13ab08d762806bd433b35bda40612e1b598 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 7ac4154643a952fed1d942adcb78e27b17ad41dd (diff) | |
| download | rust-ee064befa06ad54193786c9169672f9349d0bfaf.tar.gz rust-ee064befa06ad54193786c9169672f9349d0bfaf.zip | |
Ensure diagnostics are printed in the correct order
Even when buffered. Ideally we would flush only when the emitter is done, but that requires larger changes. This gives most of the benefit of buffering in any case.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions