make ty::Const debug printing less verbose#115884

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:const-debug-print

Sep 16, 2023

Commits on Sep 16, 2023

make ty::Const debug printing less verbose
RalfJung
committed