test/tools/javac/TryWithResources/TwrIntersection02.java

changeset 840
7f8794f9cc14
parent 609
13354e1abba7
equal deleted inserted replaced
839:a8437c34fdc7 840:7f8794f9cc14
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6911256 6964740 6965277
4 * @author Maurizio Cimadamore
5 * @summary Check that resources of an intersection type forces union of exception types
6 * to be caught outside twr block
7 * @compile/fail/ref=TwrIntersection02.out -XDrawDiagnostics TwrIntersection02.java
8 */
9
10 class TwrIntersection02 {
11
12 static class Exception1 extends Exception {}
13 static class Exception2 extends Exception {}
14
15
16 interface MyResource1 extends AutoCloseable {
17 void close() throws Exception1;
18 }
19
20 interface MyResource2 extends AutoCloseable {
21 void close() throws Exception2;
22 }
23
24 public void test1() throws Exception1 {
25 try(getX()) {
26 //do something
27 }
28 }
29
30 public void test2() throws Exception2 {
31 try(getX()) {
32 //do something
33 }
34 }
35
36 <X extends MyResource1 & MyResource2> X getX() { return null; }
37 }

mercurial