Mercurial > jdk8-mips64-public > langtools / file revision

• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/lambda/TargetType39.java@5ddecb91d843

test/tools/javac/lambda/TargetType39.java

Tue, 12 Mar 2013 16:02:43 +0000

author

mcimadamore

date

Tue, 12 Mar 2013 16:02:43 +0000

changeset 1628

5ddecb91d843

parent 0

959103a6100f

permissions

-rw-r--r--

8009545: Graph inference: dependencies between inference variables should be set during incorporation
Summary: Move all transitivity checks into the incorporation round
Reviewed-by: jjg

 /*

  * @test /nodynamiccopyright/

  * @bug 8003280

  * @summary Add lambda tests

  *  check that type-checking fails because of recursive analysis of stuck expressions

   * @compile/fail/ref=TargetType39.out -XDrawDiagnostics TargetType39.java

  */

 class TargetType39 {

     interface I { }

     interface SAM<A, R> {

         R m(A a);

     }

     <U, V> void call(SAM<U, V> s) { }

     void test(boolean cond, SAM<String, Void> ssv) {

         call(cond ? x-> null : ssv);

         call((String s)-> cond ? x-> null : ssv);

     }

 }