mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-31 01:43:23 +07:00
GitOrigin-RevId: 586b24be8f16e61de4e02c588fa5b3546d34ff41
6 lines
177 B
Java
6 lines
177 B
Java
void hintsDemo() {
|
|
List<Integer> list = Arrays.asList(1, 2, 3);
|
|
List<Integer> filteredList = list.stream()
|
|
.filter(/*<# List<Integer> #>*/el -> el >= 3)
|
|
.toList();
|
|
} |