checker/tests/nullness/ArrayAssignmentFlow.java

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

public class ArrayAssignmentFlow {

  public void add_combined(MyPptTopLevel ppt) {

    @Nullable Object[] vals = new Object[10];

    if (ppt.last_values != null) {
      // Assigning to an array element should not cause flow information
      // about ppt.last_values to be discarded.
      vals[0] = ppt.last_values.vals;
      ppt.last_values.toString();
    }
  }
}

class MyPptTopLevel {
  public @Nullable MyValueTuple last_values = null;
}

class MyValueTuple {
  public Object vals = new Object();
}