/**

 * @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() { }

}