framework/tests/framework/GenericEnum.java

// Test case for issue #279: https://github.com/typetools/checker-framework/issues/279

public class GenericEnum<T extends String> {

  void test() {
    T.format("");
  }
}