Sign in
third-party-mirror
/
typetools
/
checker-framework
/
refs/heads/main
/
.
/
checker
/
tests
/
nullness
/
java8
/
Issue448.java
blob: 271492ef963400429b6de5dc2e89c0e9889b20cb [
file
] [
log
] [
blame
]
// 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
);
}
}