mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 06:05:50 +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 0 == stream.limit(100_000_000).c<caret>ount();
|
|
}
|
|
} |