Function notable_traits_json 

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