fn projection_to_path_segment<'tcx>(
    ty: Binder<'tcx, AliasTy<'tcx>>,
    cx: &mut DocContext<'tcx>
) -> PathSegment