/*
* @test /nodynamiccopyright/
* @bug 7022711
* @summary compiler crash in try-with-resources
* @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java
*/
import java.io.*;
class T7022711 {
public static void main (String args[]) throws Exception {
try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) {
while (true) {
is.getChar(); // method not found
}
} catch (EOFException e) {
}
}
}