Java example source code file (BadRecovery.java)

This example Java source code file (BadRecovery.java) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Learn more about this Java project at its project page.

Java - Java tags/keywords

badrecovery, object, sam1

The BadRecovery.java Java example source code

/*
 * @test /nodynamiccopyright/
 * @bug 8003280
 * @summary Add lambda tests
 *  check that recovery of speculative types is not attempted if receiver is erroneous
 * @compile/fail/ref=BadRecovery.out -XDrawDiagnostics BadRecovery.java
 */
class BadRecovery {

    interface SAM1 {
        void m(Object o);
    }

    void m(SAM1 m) { };

    void test() {
        m((receiver, t) -> { receiver.someMemberOfReceiver(()->{ Object x = f; }); });
    }
}