https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59171 --- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes, of course. I think we should just add a pretty printer that doesn't print anything.