Mercurial > jdk8-mips64-public > langtools / file revision
test/tools/javac/generics/inference/6315770/T6315770.java@7873d37f5b37
test/tools/javac/generics/inference/6315770/T6315770.java
Mon, 21 Jan 2013 20:13:56 +0000
- author
- mcimadamore
- date
- Mon, 21 Jan 2013 20:13:56 +0000
- changeset 1510
- 7873d37f5b37
- parent 384
- ed31953ca025
- child 2525
- 2eb010b6cb22
- permissions
- -rw-r--r--
8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg
1 /**
2 * @test /nodynamiccopyright/
3 * @bug 6315770
4 * @summary javac inference allows creation of strange types: Integer & Runnable
5 * @author Maurizio Cimadamore
6 *
7 * @compile/fail/ref=T6315770.out T6315770.java -XDrawDiagnostics
8 */
10 class T6315770<V> {
11 <T extends Integer & Runnable> T6315770<T> m() {
12 return null;
13 }
14 void test() {
15 T6315770<?> c1 = m();
16 T6315770<? extends String> c2 = m();
17 T6315770<? super String> c3 = m();
18 }
19 }
