Wed, 15 May 2013 14:00:31 +0100
8012003: Method diagnostics resolution need to be simplified in some cases
Summary: Unfold method resolution diagnostics when they mention errors in poly expressions
Reviewed-by: jjg, vromero
aoqi@0 | 1 | /** |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 8012003 |
aoqi@0 | 4 | * @summary Method diagnostics resolution need to be simplified in some cases |
aoqi@0 | 5 | * test simplification of lambda type-checking error leading to resolution failure |
aoqi@0 | 6 | * @compile/fail/ref=T8012003c.out -XDrawDiagnostics -Xdiags:compact T8012003c.java |
aoqi@0 | 7 | */ |
aoqi@0 | 8 | |
aoqi@0 | 9 | class T8012003c { |
aoqi@0 | 10 | |
aoqi@0 | 11 | interface I { |
aoqi@0 | 12 | void m(P p); |
aoqi@0 | 13 | } |
aoqi@0 | 14 | |
aoqi@0 | 15 | void m(I i) { } |
aoqi@0 | 16 | |
aoqi@0 | 17 | void test() { |
aoqi@0 | 18 | m(p->p.m()); |
aoqi@0 | 19 | } |
aoqi@0 | 20 | } |
aoqi@0 | 21 | |
aoqi@0 | 22 | class P { |
aoqi@0 | 23 | private void m() { } |
aoqi@0 | 24 | } |