Mon, 07 Feb 2011 18:10:13 +0000
7007615: java_util/generics/phase2/NameClashTest02 fails since jdk7/pit/b123.
Summary: override clash algorithm is not implemented correctly
Reviewed-by: jjg
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 | } |