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
8import java.io.*;
9
10class 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
31