changeset 10 | 06bc494ca11e |
child 34754 | 025d0b180221 |
0:fd16c54261b3 | 10:06bc494ca11e |
---|---|
1 /** |
|
2 * @test |
|
3 * @bug 6547131 |
|
4 * @summary java.lang.ClassFormatError when using old collection API |
|
5 * @compile T.java |
|
6 * @run main T |
|
7 */ |
|
8 |
|
9 import p.*; |
|
10 |
|
11 class SubI implements Outer.I { |
|
12 SubI() { } |
|
13 Outer.I getI() { return this; } |
|
14 } |
|
15 |
|
16 public class T { |
|
17 public static void main(String argv[]){ |
|
18 SubI sub = new SubI(); |
|
19 Outer.I inter = (Outer.I)sub.getI(); |
|
20 } |
|
21 } |