Thu, 23 Oct 2008 18:29:11 +0100
6557954: Inner class type parameters doesn't get substituted when checking type well-formedness
Summary: Validator.visitTypeApply should substitute all formal typevars with actual parameters
Reviewed-by: jjg
1 /*
2 * Copyright 2007 Sun Microsystems, Inc. All Rights Reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
20 * CA 95054 USA or visit www.sun.com if you need additional information or
21 * have any questions.
22 */
24 /**
25 * @test
26 * @bug 6464451
27 * @summary javac in 5.0ux can not compile try-finally block which has a lot of "return"
28 * @author Wei Tao
29 * @compile -target 5 DeepNestedFinally.java
30 * @clean DeepNestedFinally
31 * @compile/fail DeepNestedFinally.java
32 */
34 public class DeepNestedFinally {
35 static public int func(int i) {
36 try {
37 if(i == 1) return 1;
38 } finally {
39 try {
40 if(i == 2) return 2;
41 } finally {
42 try {
43 if(i == 3) return 3;
44 } finally {
45 try {
46 if(i == 4) return 4;
47 } finally {
48 try {
49 if(i == 5) return 5;
50 } finally {
51 try {
52 if(i == 6) return 6;
53 } finally {
54 try {
55 if (i == 7) return 7;
56 } finally {
57 int x = 0;
58 x += 1;
59 x += 2;
60 x += 3;
61 x += 4;
62 x += 5;
63 x += 6;
64 x += 7;
65 x += 8;
66 x += 9;
67 }
68 }
69 }
70 }
71 }
72 }
73 }
74 return 0;
75 }
76 }