TestValOf.java

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

class TestValOf<T extends Enum<T>> {

    private final Class<T> enumClass;

    private TestValOf(Class<T> enumClass) {
        this.enumClass = enumClass;
    }

    T foo(String value) {
        return Enum.valueOf(enumClass, value);
    }
}