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 

   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         // declared resource
  13         try (DataInputStream is = new DataInputStream(new FileInputStream("x"))) {
  14             while (true) {
  15                 is.getChar();  // method not found
  16             }
  17         } catch (EOFException e) {
  18         }
  19 
  20         // resource as variable
  21         DataInputStream is = new DataInputStream(new FileInputStream("x"));
  22         try (is) {
  23             while (true) {
  24                 is.getChar();  // method not found
  25             }
  26         } catch (EOFException e) {
  27         }
  28     }
  29 }
  30