Fri, 24 Apr 2020 03:58:51 +0100
Merge
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 */
8 import java.io.*;
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 }