Thu, 06 Mar 2008 10:07:25 -0800
4741726: allow Object += String
Summary: remove code in line with restriction removed from JLS
Reviewed-by: mcimadamore
Contributed-by: michaelbailey0@gmail.com
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 |
duke@1 | 6 | * @compile/fail/ref=T6207386.out -XDstdout -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 | } |