mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-28 21:30:23 +07:00
GitOrigin-RevId: 37afe33d6a5e437a80338183e0019bf399fcfc45
10 lines
203 B
Java
10 lines
203 B
Java
// "Remove 'map()' call" "true"
|
|
import java.util.stream.Stream;
|
|
|
|
public class Test {
|
|
public void test() {
|
|
/*redundant*/
|
|
System.out.println(Stream.of(/*just one number*/123).count());
|
|
}
|
|
}
|