diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-09-07 15:14:40 +1000 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-09-11 12:51:07 +1000 |
| commit | 64ea8eb1a96a993f342551b2f633e55207521d99 (patch) | |
| tree | 43acbda77bf1d493c3b3ee43905636bb0713d4c9 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | c0583a0221c28f01a7bdbc01464baf22f7c6d4a8 (diff) | |
| download | rust-64ea8eb1a96a993f342551b2f633e55207521d99.tar.gz rust-64ea8eb1a96a993f342551b2f633e55207521d99.zip | |
Disentangle `Debug` and `Display` for `Ty`.
The `Debug` impl for `Ty` just calls the `Display` impl for `Ty`. This is surprising and annoying. In particular, it means `Debug` doesn't show as much information as `Debug` for `TyKind` does. And `Debug` is used in some user-facing error messages, which seems bad. This commit changes the `Debug` impl for `Ty` to call the `Debug` impl for `TyKind`. It also does a number of follow-up changes to preserve existing output, many of which involve inserting `with_no_trimmed_paths!` calls. It also adds `Display` impls for `UserType` and `Canonical`. Some tests have changes to expected output: - Those that use the `rustc_abi(debug)` attribute. - Those that use the `EMIT_MIR` annotation. In each case the output is slightly uglier than before. This isn't ideal, but it's pretty weird (particularly for the attribute) that the output is using `Debug` in the first place. They're fairly obscure attributes (I hadn't heard of them) so I'm not worried by this. For `async-is-unwindsafe.stderr`, there is one line that now lacks a full path. This is a consistency improvement, because all the other mentions of `Context` in this test lack a path.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions
