test/tools/javac/6758789/T6758789a.java

Sun, 04 Nov 2012 10:59:42 +0000

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 384
ed31953ca025
child 2525
2eb010b6cb22
permissions
-rw-r--r--

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 }

mercurial