mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-05 00:36:13 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
10 lines
190 B
Java
10 lines
190 B
Java
// "Remove 'contains()' check" "true-preview"
|
|
import java.util.*;
|
|
|
|
class Test {
|
|
void test(Set<String> set, String key) {
|
|
if(!set.co<caret>ntains(key)) {
|
|
set.add(key);
|
|
}
|
|
}
|
|
} |