diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-12-17 11:36:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-17 11:36:54 +0100 |
| commit | 5873fe8851ef9815344ddb665c60e48a71413109 (patch) | |
| tree | 8498f4f5665b8f56fb3fbba20705628a6008d34d /compiler/rustc_errors/src/snippet.rs | |
| parent | 1f5d8de0627738ee7b0d5bcf5bcc9080a519f2f0 (diff) | |
| parent | 7ee8e1816f6603502e36b105990bca0f7e440816 (diff) | |
| download | rust-5873fe8851ef9815344ddb665c60e48a71413109.tar.gz rust-5873fe8851ef9815344ddb665c60e48a71413109.zip | |
Rollup merge of #80047 - jyn514:more-symbols, r=GuillaumeGomez
Use more symbols in rustdoc Builds on https://github.com/rust-lang/rust/pull/80044 and should not be merged before. I want to test if this is actually faster before merging it, there was a lot of `to_string()` calls so I'm not sure it will actually help. That means I have to wait for 80044 to get merged before running perf. r? `@ghost`
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions