fn get_id_for_impl(
    for_: &Type,
    trait_: Option<&Path>,
    cx: &Context<'_>
) -> String