fn clean_middle_generic_args_with_constraints<'tcx>(
    cx: &mut DocContext<'tcx>,
    did: DefId,
    has_self: bool,
    constraints: ThinVec<AssocItemConstraint>,
    ty_args: Binder<'tcx, GenericArgsRef<'tcx>>,
) -> GenericArgs