/*

 * @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) {

        }

    }

}