// Test annotation on Enum.name()

// Test case for Issue 1402:
// https://github.com/typetools/checker-framework/issues/1402

public enum Issue1402EnumName {
  TEST_ONE("abc"),
  TEST_TWO("def");

  private final String newName;

  Issue1402EnumName(String customData) {
    this.newName = name();
  }
}