/*
 * @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; }); });
    }
}