/guava/android/guava/src/com/google/common/collect/TopKSelector.java
this.offer( uncheckedCastNullableTToT( other.buffer[i]) ) ;T pivotValue = uncheckedCastNullableTToT( buffer[pivotIndex]) ;
T pivotValue = uncheckedCastNullableTToT ( buffer[pivotIndex] ) ;
> 0) { threshold = buffer[i]; } } } private int partition(int left, int right, int pivotIndex) { <extra_id_0> buffer[pivotIndex] = buffer[right]; int pivotNewIndex = left; for (int i = left; i < right; i++) { if (comparator.compare(uncheckedCastNullableTToT(buffer[i]), pivotValue) < 0) { swap(pivotNewIndex, i); pivotNewIndex++;