// 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(); | |
} | |
} |