Mon, 24 Oct 2011 13:00:30 +0100
7098660: Write better overload resolution/inference tests
Summary: Add overload/inference debug diagnostics - added test harness using annotations to check outcome of overload resolution/inference
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 | } |