checker/tests/nullness/Stats.java

// @skip-tests Failing, but commented out to avoid breaking the build

import java.util.Map;
import org.checkerframework.checker.nullness.qual.*;

public class Stats {

  @Nullable Map<Integer, String> inv_map = null;

  void dump() {

    assert inv_map != null : "@AssumeAssertion(nullness)";

    for (Integer inv_class : inv_map.keySet()) {
      inv_map.get(inv_class);
    }
  }
}