Wed, 14 May 2014 15:41:28 -0600
8034223: Most-specific should not have any special treatment for boxed vs. unboxed types
Summary: Rewrite most-specific logic to conform to JLS 8 15.12.2.5
Reviewed-by: vromero
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 8016175
4 * @summary Add bottom-up type-checking support for unambiguous method references
5 * @compile/fail/ref=MethodReference68.out -XDrawDiagnostics MethodReference68.java
6 */
7 class MethodReference68 {
8 interface F<X> {
9 String m(X x);
10 }
12 static class Foo {
13 String getName() { return ""; }
14 }
16 @SuppressWarnings("unchecked")
17 <Z> void g(F<Z> fz, Z... zs) { }
19 void test() {
20 g(Foo::getName);
21 g(Foo::getName, 1); //incompatible constraints, Z <: Foo, Z :> Integer
22 }
23 }