Sun, 04 Nov 2012 10:59:42 +0000
7192246: Add type-checking support for default methods
Summary: Add type-checking support for default methods as per Featherweight-Defender document
Reviewed-by: jjg, dlsmith
mcimadamore@161 | 1 | /* |
jjg@384 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@161 | 3 | * @bug 6758789 |
mcimadamore@161 | 4 | * @summary 6758789: Some method resolution diagnostic should be improved |
mcimadamore@161 | 5 | * @author Maurizio Cimadamore |
mcimadamore@161 | 6 | * |
mcimadamore@161 | 7 | * @compile/fail/ref=T6758789a.out -XDrawDiagnostics T6758789a.java |
mcimadamore@161 | 8 | */ |
mcimadamore@161 | 9 | |
mcimadamore@161 | 10 | class T6758789a { |
mcimadamore@161 | 11 | void m1() {} |
mcimadamore@161 | 12 | void m2(int i) {} |
mcimadamore@161 | 13 | void test() { |
mcimadamore@161 | 14 | m1(1); |
mcimadamore@161 | 15 | m2(); |
mcimadamore@161 | 16 | } |
mcimadamore@161 | 17 | } |