mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
GitOrigin-RevId: 4d6a5487576dbbc4aca9c89b067eec8218aff686
9 lines
155 B
Java
9 lines
155 B
Java
// "Adapt using 'toFile()'" "true-preview"
|
|
import java.io.*;
|
|
import java.nio.file.*;
|
|
|
|
class Test {
|
|
void test(Path path) {
|
|
File f = <caret>path;
|
|
}
|
|
} |