aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8003280
aoqi@0:  * @summary Add lambda tests
aoqi@0:  *  target type inference in a case where lambda expression returns diamond
aoqi@0:  * @compile/fail/ref=TargetType28.out -XDrawDiagnostics TargetType28.java
aoqi@0:  */
aoqi@0: 
aoqi@0: class TargetType28 {
aoqi@0:     static class SuperFoo<X> {}
aoqi@0: 
aoqi@0:     static class Foo<X extends Number> extends SuperFoo<X> {}
aoqi@0: 
aoqi@0:     interface A<X, Y> {
aoqi@0:        SuperFoo<Y> m(X x);
aoqi@0:     }
aoqi@0: 
aoqi@0:     <Z, R> SuperFoo<R> apply(A<Z, R> ax, Z x) { return null; }
aoqi@0: 
aoqi@0:     SuperFoo<String> ls = apply(x-> new Foo<>(), 1);
aoqi@0:     SuperFoo<Integer> li = apply(x-> new Foo<>(), 1);
aoqi@0:     SuperFoo<?> lw = apply(x-> new Foo<>(), 1);
aoqi@0: }