mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 15:35:40 +07:00
GitOrigin-RevId: 3aae5c738d48c38144f6a78c36738121831ae5a5
8 lines
169 B
Java
8 lines
169 B
Java
import java.util.stream.Stream;
|
|
|
|
class Foo {
|
|
public static void main(Stream<? extends String> s) {
|
|
s.filter(ss -> <selection>ss.startsWith("")</selection>);
|
|
}
|
|
|
|
} |