import java.util.HashMap;
import java.util.Map;
import org.checkerframework.checker.nullness.qual.KeyFor;

public abstract class Issue2564 {
  public enum EnumType {
    // :: error: (assignment)
    @KeyFor("myMap") MY_KEY,
    // :: error: (assignment)
    @KeyFor("enumMap") ENUM_KEY;
    private static final Map<String, Integer> enumMap = new HashMap<>();

    void method() {
      @KeyFor("enumMap") EnumType t = ENUM_KEY;
      int x = enumMap.get(ENUM_KEY);
    }
  }

  private static final Map<String, Integer> myMap = new HashMap<>();
}