/guava/guava/src/com/google/common/collect/Lists.java
checkElementIndex( index, size) ;checkElementIndex( index, size( ) ) ;
checkElementIndex ( index, size ( ) ) ;
public int size() { return IntMath.saturatedAdd(rest.length, 1); } @Override @ParametricNullness public E get(int index) { <extra_id_0> return (index == 0) ? first : rest[index - 1]; } @J2ktIncompatible private static final long serialVersionUID = 0; } private static class TwoPlusArrayList<E extends @Nullable Object> extends AbstractList<E> implements Serializable, RandomAccess {