langtools/test/tools/javac/6547131/T.java
changeset 10 06bc494ca11e
child 34754 025d0b180221
equal deleted inserted replaced
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 }