mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 09:39:37 +07:00
10 lines
194 B
Java
10 lines
194 B
Java
// "Adapt argument using 'new File()'" "true-preview"
|
|
import java.util.*;
|
|
import java.io.File;
|
|
|
|
class Demo {
|
|
void test(int value) {
|
|
Set<File> file = Set.of(new File("/etc/passwd"));
|
|
}
|
|
}
|