/*
* @test /nodynamiccopyright/
* @bug 7022711
* @summary compiler crash in try-with-resources
* @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java
*/
class T7022711 {
while (true) {
}
} catch (EOFException e) {
}
}
}