fn notable_traits_decl_write_html<'cx>( notable_impls: impl Iterator<Item = (&'cx Impl, DefId)>, f: &mut Formatter<'_>, cx: &Context<'_>, ) -> Result<(), Error>