aoqi@0: /*
aoqi@0:  * @test /nodynamiccopyright/
aoqi@0:  * @bug 8003280
aoqi@0:  * @summary Add lambda tests
aoqi@0:  *  complex case of cyclic type inference (lambda returned where inference var expected)
aoqi@0:  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
aoqi@0:  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics -XDcomplexinference TargetType27.java
aoqi@0:  */
aoqi@0: 
aoqi@0: class TargetType27 {
aoqi@0:     interface F<X, Y>  {
aoqi@0:         Y f(X a);
aoqi@0:     }
aoqi@0: 
aoqi@0:     <A, R> F<A, R> m(F<A, R>  f) { return null; }
aoqi@0: 
aoqi@0:     void test() {
aoqi@0:         m((String s1) ->  (String s2) ->  new Integer(1));
aoqi@0:     }
aoqi@0: }