Mon, 02 Sep 2013 22:38:36 +0100
8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com
mcimadamore@1393 | 1 | /* |
mcimadamore@1393 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@1393 | 3 | * @summary flow analysis is not run on inlined default bodies |
mcimadamore@1415 | 4 | * @compile/fail/ref=Neg06.out -XDrawDiagnostics Neg06.java |
mcimadamore@1393 | 5 | */ |
mcimadamore@1393 | 6 | |
mcimadamore@1393 | 7 | class Neg06 { |
mcimadamore@1393 | 8 | |
mcimadamore@1393 | 9 | interface A { |
mcimadamore@1393 | 10 | default String m() { C.m(); } |
mcimadamore@1393 | 11 | } |
mcimadamore@1393 | 12 | |
mcimadamore@1393 | 13 | static class C { |
mcimadamore@1393 | 14 | static String m() { return ""; } |
mcimadamore@1393 | 15 | } |
mcimadamore@1393 | 16 | } |