This reasoning is correct but still has to assume that both indices are non negative, which is reasonable.

So does the bitshift cast the result of the addition to an unsigned int? I am not so familiar with Java.