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