Fri, 27 May 2011 15:02:39 -0700
7045697: JDK7 THIRD PARTY README update
Reviewed-by: lana
duke@1 | 1 | /* |
duke@1 | 2 | * @test /nodynamiccopyright/ |
duke@1 | 3 | * @bug 6207386 |
duke@1 | 4 | * @summary Undecidable type system leads to crash |
duke@1 | 5 | * @author Martin Odersky |
jjg@611 | 6 | * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java |
duke@1 | 7 | */ |
duke@1 | 8 | |
duke@1 | 9 | public class T6207386 { |
duke@1 | 10 | static class F<T> {} |
duke@1 | 11 | static class C<X extends F<F<? super X>>> { |
duke@1 | 12 | C(X x) { |
duke@1 | 13 | F<? super X> f = x; |
duke@1 | 14 | } |
duke@1 | 15 | } |
duke@1 | 16 | } |