В чем смысл двойной тильды (~~) в Java?

При просмотре исходного кода Guava я наткнулся на следующий фрагмент кода (часть реализации hashCode для внутреннего класса CartesianSet):

int adjust = size() - 1;
for (int i = 0; i < axes.size(); i++) {
    adjust *= 31;
    adjust = ~~adjust;
    // in GWT, we have to deal with integer overflow carefully
}
int hash = 1;
for (Set<E> axis : axes) {
    hash = 31 * hash + (size() / axis.size() * axis.hashCode());

    hash = ~~hash;
}
hash += adjust;
return ~~hash;

Оба adjust и hash равны int s. Из того, что я знаю о Java, ~ означает побитовое отрицание, поэтому adjust = ~~adjust и hash = ~~hash должны оставить переменные неизменными. Выполнение небольшого теста (с уверенностью разрешено, конечно),

for (int i = Integer.MIN_VALUE; i < Integer.MAX_VALUE; i++) {
    assert i == ~~i;
}

подтверждает это. Предполагая, что ребята из Guava знают, что они делают, для этого должна быть причина. Вопрос в том, что?

EDIT Как указано в комментариях, вышеприведенный тест не включает случай, когда i равно Integer.MAX_VALUE. Поскольку i <= Integer.MAX_VALUE всегда истинно, нам нужно будет проверить этот случай вне цикла, чтобы он не зацикливался навсегда. Однако линия

assert Integer.MAX_VALUE == ~~Integer.MAX_VALUE;

дает предупреждение компилятора "Сравнение идентичных выражений", которое в значительной степени прибивает его.

Ответ 1