1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/test/tools/javac/6547131/T.java Wed Apr 27 01:34:52 2016 +0800 1.3 @@ -0,0 +1,21 @@ 1.4 +/** 1.5 + * @test 1.6 + * @bug 6547131 1.7 + * @summary java.lang.ClassFormatError when using old collection API 1.8 + * @compile T.java 1.9 + * @run main T 1.10 + */ 1.11 + 1.12 +import p.*; 1.13 + 1.14 +class SubI implements Outer.I { 1.15 + SubI() { } 1.16 + Outer.I getI() { return this; } 1.17 +} 1.18 + 1.19 +public class T { 1.20 + public static void main(String argv[]){ 1.21 + SubI sub = new SubI(); 1.22 + Outer.I inter = (Outer.I)sub.getI(); 1.23 + } 1.24 +}