checker/tests/nullness/SequenceAndIndices.java

import org.checkerframework.checker.interning.qual.*;

public final class SequenceAndIndices<T extends @Interned Object> {
  public T seq;

  public SequenceAndIndices(T seq) {
    this.seq = seq;
  }
}