Macro rustc_middle::ty::print::pretty::with_no_verbose_constants

pub macro with_no_verbose_constants($e:expr) {
    ...
}

Prevent verbose printing of constants. Verbose printing of constants is never desirable in some contexts like std::any::type_name.