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
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 7020657 6985719 |
aoqi@0 | 4 | * |
aoqi@0 | 5 | * @summary Javac rejects a fairly common idiom with raw override and interfaces |
aoqi@0 | 6 | * @author Maurizio Cimadamore |
aoqi@0 | 7 | * @compile/fail/ref=T7020657neg.out -XDrawDiagnostics T7020657neg.java |
aoqi@0 | 8 | * |
aoqi@0 | 9 | */ |
aoqi@0 | 10 | |
aoqi@0 | 11 | import java.util.*; |
aoqi@0 | 12 | |
aoqi@0 | 13 | class T7020657neg { |
aoqi@0 | 14 | interface A { |
aoqi@0 | 15 | int get(List<String> l); |
aoqi@0 | 16 | } |
aoqi@0 | 17 | |
aoqi@0 | 18 | interface B { |
aoqi@0 | 19 | int get(List<Integer> l); |
aoqi@0 | 20 | } |
aoqi@0 | 21 | |
aoqi@0 | 22 | interface C extends A, B { } |
aoqi@0 | 23 | } |