test/tools/javac/cast/6557182/T6557182.java

Mon, 24 Oct 2011 13:00:30 +0100

author
mcimadamore
date
Mon, 24 Oct 2011 13:00:30 +0100
changeset 1114
05814303a056
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

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 }

mercurial