pub(crate) fn notable_traits_json<'a>( tys: impl Iterator<Item = &'a Type>, cx: &Context<'_> ) -> String