Mon, 19 Jun 2017 14:51:25 -0700
Added tag jdk8u151-b02 for changeset 732e1bab2660
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 8016175 |
aoqi@0 | 4 | * @summary Add bottom-up type-checking support for unambiguous method references |
aoqi@0 | 5 | * @compile/fail/ref=MethodReference68.out -XDrawDiagnostics MethodReference68.java |
aoqi@0 | 6 | */ |
aoqi@0 | 7 | class MethodReference68 { |
aoqi@0 | 8 | interface F<X> { |
aoqi@0 | 9 | String m(X x); |
aoqi@0 | 10 | } |
aoqi@0 | 11 | |
aoqi@0 | 12 | static class Foo { |
aoqi@0 | 13 | String getName() { return ""; } |
aoqi@0 | 14 | } |
aoqi@0 | 15 | |
aoqi@0 | 16 | @SuppressWarnings("unchecked") |
aoqi@0 | 17 | <Z> void g(F<Z> fz, Z... zs) { } |
aoqi@0 | 18 | |
aoqi@0 | 19 | void test() { |
aoqi@0 | 20 | g(Foo::getName); |
aoqi@0 | 21 | g(Foo::getName, 1); //incompatible constraints, Z <: Foo, Z :> Integer |
aoqi@0 | 22 | } |
aoqi@0 | 23 | } |