diff options
| author | bors <bors@rust-lang.org> | 2020-10-25 20:15:44 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-10-25 20:15:44 +0000 |
| commit | 4760b8fb886a3702ae11bfa7868d495b2675b5ed (patch) | |
| tree | 74c0093e5bcc138a5d6a4ae15debe3732ba92b6f /compiler/rustc_errors/src | |
| parent | 0dce3f606e05cffab7361c132a399d3550ab0df8 (diff) | |
| parent | fcaf2338da4456f2b3d1ccf3e127f9028c80a2cc (diff) | |
| download | rust-4760b8fb886a3702ae11bfa7868d495b2675b5ed.tar.gz rust-4760b8fb886a3702ae11bfa7868d495b2675b5ed.zip | |
Auto merge of #78179 - RalfJung:miri-comments, r=oli-obk
Miri engine: entirely skip interning of ZST, and improve some comments r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_errors/src')
0 files changed, 0 insertions, 0 deletions