checker/tests/nullness/Issue2587.java

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

@SuppressWarnings("assignment") // These warnings are not relevant
public abstract class Issue2587 {
  public enum EnumType {
    // :: error: (expression.unparsable)
    @KeyFor("myMap") MY_KEY,

    @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);
    }
  }

  public static class Inner {
    // :: error: (expression.unparsable)
    @KeyFor("myMap") String MY_KEY = "";

    public static class Inner2 {
      // :: error: (expression.unparsable)
      @KeyFor("myMap") String MY_KEY2 = "";

      @KeyFor("innerMap") String MY_KEY3 = "";
    }

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

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