Function rustc_trait_selection::traits::specialize::to_pretty_impl_header

pub(crate) fn to_pretty_impl_header(
    tcx: TyCtxt<'_>, 
    impl_def_id: DefId
) -> Option<String>

Recovers the “impl X for Y” signature from impl_def_id and returns it as a string.