mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 00:29:58 +07:00
GitOrigin-RevId: f654be030cc13609bbe54ea2d1659a7dfadcfe4b
8 lines
170 B
Java
8 lines
170 B
Java
import java.util.stream.IntStream;
|
|
import java.util.stream.Stream;
|
|
|
|
public class AA {
|
|
IntStream distinct2(Stream<Object> a) {
|
|
return a.map(i-> (i in<caret>))
|
|
}
|
|
} |