/**
 * @test /nodynamiccopyright/
 * @bug     8012003
 * @summary Method diagnostics resolution need to be simplified in some cases
 *          test simplification of lambda type-checking error leading to resolution failure
 * @compile/fail/ref=T8012003c.out -XDrawDiagnostics -Xdiags:compact T8012003c.java
 */

class T8012003c {

    interface I {
        void m(P p);
    }

    void m(I i) { }

    void test() {
        m(p->p.m());
    }
}

class P {
    private void m() { }
}