mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 18:17:08 +07:00
GitOrigin-RevId: 9d8cf85eb1eee3ca8a38c2bcde119666afcc7934
9 lines
215 B
Java
9 lines
215 B
Java
// "Replace with 'stream.findAny().isEmpty()'" "true-preview"
|
|
|
|
import java.util.stream.Stream;
|
|
|
|
class Test {
|
|
boolean isEmpty(Stream<String> stream) {
|
|
return stream.limit(100_000_000).findAny().isEmpty();
|
|
}
|
|
} |