rework `-Zverbose`#119129

Merged

bors merged 2 commits intorust-lang:masterfrom

Dec 26, 2023

Commits on Dec 19, 2023

rename to verbose-internals
jyn514
committed

Commits on Dec 24, 2023

don't elide shared parts of types in diagnostics when `--verbose` is passed
jyn514
committed