1 /*
   2  * @test /nodynamiccopyright/
   3  * @bug 8003280
   4  * @summary Add lambda tests
   5  *  complex case of cyclic type inference (lambda returned where inference var expected)
   6  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
   7  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
   8  */
   9 
  10 class TargetType27 {
  11     interface F<X, Y>  {
  12         Y f(X a);
  13     }
  14 
  15     <A, R> F<A, R> m(F<A, R>  f) { return null; }
  16 
  17     void test() {
  18         m((String s1) ->  (String s2) ->  new Integer(1));
  19     }
  20 }

   1 /*
   2  * @test /nodynamiccopyright/
   3  * @bug 8003280
   4  * @summary Add lambda tests
   5  *  complex case of cyclic type inference (lambda returned where inference var expected)
   6  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
   7  * @compile/fail/ref=TargetType27.out -XDrawDiagnostics TargetType27.java
   8  */
   9 
  10 class TargetType27 {
  11     interface F<X, Y>  {
  12         Y f(X a);
  13     }
  14 
  15     <A, R> F<A, R> m(F<A, R>  f) { return null; }
  16 
  17     void test() {
  18         m((String s1) ->  (String s2) -> Integer.valueOf(1));
  19     }
  20 }