fn clean_projection<'tcx>(
    ty: Binder<'tcx, AliasTy<'tcx>>,
    cx: &mut DocContext<'tcx>,
    def_id: Option<DefId>
) -> Type