rustdoc leaks MIR ConstValue representation of cross-crate const values that have an opaque type

[fmease]

Minimized reproducer:

producer.rs (compiled with rustc producer.rs --crate-type=lib):

#![feature(type_alias_impl_trait)]

pub const K: Opaque = 12;

pub type Opaque = impl Trait;

pub trait Trait {}
impl Trait for i32 {}

consumer.rs (documented with rustdoc consumer.rs --edition=2021 --extern=producer=libproducer.rlib):

pub use producer::*;

Rendered output in doc/consumer/constant.K.html (notice the transmute part):

pub const K: impl Trait = 12; // {transmute(0x0000000c): producer::Opaque}

@rustbot label C-bug T-rustdoc F-type_alias_impl_trait A-cross-crate-reexports

[fmease]

To be fair, {transmute(0x0000000c): producer::Opaque} is the pretty-printed form of 12 as Opaque (which rustdoc blindly uses) but I don't think it's supposed to actually surface anywhere user-facing (in diagnostics, rustdoc, etc.). It doesn't even show up in any tests/ui/**/*.stderr files for example.