1 /* 2 * @test /nodynamiccopyright/ 3 * @bug 7022711 4 * @summary compiler crash in try-with-resources 5 * @compile/fail/ref=T7022711.out -XDrawDiagnostics T7022711.java 6 */ 7 8 import java.io.*; 9 10 class T7022711 { 11 public static void main (String args[]) throws Exception { 12 try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) { 13 while (true) { 14 is.getChar(); // method not found 15 } 16 } catch (EOFException e) { 17 } 18 } 19 } 20