fn projection_to_path_segment(
    ty: ProjectionTy<'_>,
    cx: &mut DocContext<'_>
) -> PathSegment