2007-12-01 00:00:00 +00:00
|
|
|
/*
|
2015-05-15 09:30:55 -07:00
|
|
|
* @test /nodynamiccopyright/
|
2007-12-01 00:00:00 +00:00
|
|
|
* @bug 5025346
|
|
|
|
|
* @summary Crash on cast
|
|
|
|
|
* @author gafter
|
|
|
|
|
*
|
2015-05-15 09:30:55 -07:00
|
|
|
* @compile/fail/ref=CastCrash.out -XDrawDiagnostics CastCrash.java
|
2007-12-01 00:00:00 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
package cast.crash;
|
|
|
|
|
|
|
|
|
|
import java.util.*;
|
|
|
|
|
|
|
|
|
|
interface SN extends Set<Number>{}
|
|
|
|
|
interface LI extends List<Integer>{}
|
|
|
|
|
|
|
|
|
|
class CastCrash {
|
|
|
|
|
void f(LI l) {
|
|
|
|
|
SN sn = (SN) l;
|
|
|
|
|
}
|
|
|
|
|
}
|
