test/tools/javac/generics/inference/7177306/T7177306b.java

Wed, 27 Apr 2016 01:34:52 +0800

author
aoqi
date
Wed, 27 Apr 2016 01:34:52 +0800
changeset 0
959103a6100f
permissions
-rw-r--r--

Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/langtools/
changeset: 2573:53ca196be1ae
tag: jdk8u25-b17

aoqi@0 1 /**
aoqi@0 2 * @test /nodynamiccopyright/
aoqi@0 3 * @bug 7177306
aoqi@0 4 * @summary Regression: unchecked method call does not erase return type
aoqi@0 5 * @compile/fail/ref=T7177306b.out -Werror -Xlint:unchecked -XDrawDiagnostics T7177306b.java
aoqi@0 6 */
aoqi@0 7
aoqi@0 8 import java.util.List;
aoqi@0 9
aoqi@0 10 class T7177306b {
aoqi@0 11
aoqi@0 12 <T, S extends List<T>> List<T> m(List<? super T> arg1, S arg2, Class<Object> arg3) { return arg2; }
aoqi@0 13
aoqi@0 14 void test(List<Integer> li, List<String> ls, Class c) {
aoqi@0 15 m(li, ls, c);
aoqi@0 16 // should fail, because of bounds T <: Integer, S :> List<String>
aoqi@0 17 }
aoqi@0 18 }

mercurial