The `push_*` printing in `librustc_monomorphize` should use the printing infrastructure

[varkor]

E.g. push_const_name here:

rust/src/librustc_mir/monomorphize/item.rs

Line 398 in d98a165

pub fn push_const_name(&self, c: &Const<'tcx>, output: &mut String, debug: bool) {

See #53645 (comment).

[eddyb]

I didn't mean const printing, sorry. But rather that entire push_* stuff, which was hacked together for the monomorphization collector but can now use the printing infrastructure.

[Mark-Simulacrum]

This code now lives in https://github.com/rust-lang/rust/blob/929b48ec98aaff2239257574b5897f419cec2647/src/librustc/ty/print/obsolete.rs as far as I can tell, so this is probably a duplicate of #61139 at this point. Closing as such.