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
1 /*
2 * @test /nodynamiccopyright/
3 * @author Maurizio Cimadamore
4 * @bug 6557182
5 * @summary Unchecked warning *and* inconvertible types
6 * @compile/fail/ref=T6557182.out -XDrawDiagnostics -Xlint:unchecked T6557182.java
7 */
9 class T6557182 {
11 <T extends Number & Comparable<String>> void test1(T t) {
12 Comparable<Integer> ci = (Comparable<Integer>) t;
13 }
15 <T extends Number & Comparable<? extends Number>> void test2(T t) {
16 Comparable<Integer> ci = (Comparable<Integer>) t;
17 }
18 }