mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-09 20:42:52 +07:00
EA-45951, EA-58568 (PSI traversal fixed; test added)
This commit is contained in:
@@ -0,0 +1,15 @@
|
||||
import java.io.FileInputStream;
|
||||
import java.io.IOException;
|
||||
import java.nio.channels.FileChannel;
|
||||
|
||||
class C {
|
||||
void m(File file) throws IOException {
|
||||
int x;
|
||||
FileChannel ch;
|
||||
try (FileInputStream stream = new FileInputStream(file)) {
|
||||
ch = stream.getChannel();
|
||||
}
|
||||
ch.close();
|
||||
x = 0;
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user