framework/tests/accumulation/Generics.java

import java.util.ArrayList;
import java.util.List;
import org.checkerframework.common.returnsreceiver.qual.*;
import org.checkerframework.framework.testchecker.testaccumulation.qual.*;

public class Generics {

  static interface Symbol {

    boolean isStatic();

    void finalize(@TestAccumulation("foo") Symbol this);
  }

  static List<@TestAccumulation("foo") Symbol> makeList(@TestAccumulation("foo") Symbol s) {
    ArrayList<@TestAccumulation("foo") Symbol> l = new ArrayList<>();
    l.add(s);
    return l;
  }

  static void useList() {
    Symbol s = null;
    for (Symbol t : makeList(s)) {
      t.finalize();
    }
  }

  // reduced from real-world code
  private <@TestAccumulation() T extends Symbol> T getMember(Class<T> type, boolean b) {
    if (b) {
      T sym = getMember(type, !b);
      if (sym != null && sym.isStatic()) {
        return sym;
      }
    } else {
      T sym = getMember(type, b);
      if (sym != null) {
        return sym;
      }
    }
    return null;
  }
}