checker/tests/nullness/generics/MapLoop.java

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

public class MapLoop {
  void test1(Map<String, String> map) {
    for (Map.Entry<@KeyFor("map") String, String> entry : map.entrySet()) {}
  }

  void test2(Map<String, String> map) {
    for (Map.Entry<? extends String, ? extends String> entry : map.entrySet()) {}
  }

  void test3(Map<String, @Nullable Object> map) {
    for (Map.Entry<? extends String, @Nullable Object> entry : map.entrySet()) {}
    for (Object val : map.values()) {}
  }
}