Ralf Jung bad7d36c33 flush_delayed: add note about stashed diagnostics

2025-11-17 12:09:57 +01:00

..

json

…

markdown

…

annotate_snippet_emitter_writer.rs

…

codes.rs

…

decorate_diag.rs

…

diagnostic_impls.rs

…

diagnostic.rs

…

emitter.rs

…

error.rs

…

json.rs

…

lib.rs

…

lock.rs

…

registry.rs

…

snippet.rs

…

styled_buffer.rs

…

tests.rs

…

timings.rs

…

translation.rs

…