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

import java.util.Arrays;

enum Issue448 {
  ONE;

  void method() {
    Arrays.stream(values()).filter(key -> true);
  }
}