Function 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.