test/tools/javac/6330920/T6330920.java

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

author
mcimadamore
date
Sun, 04 Nov 2012 10:59:42 +0000
changeset 1393
d7d932236fee
parent 611
4172cfff05f0
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

duke@1 1 /*
duke@1 2 * @test /nodynamiccopyright/
duke@1 3 * @bug 6330920
duke@1 4 * @summary Verify that javac doesn't duplicate method error on method with error
duke@1 5 * @author Peter von der Ah\u00e9
jjg@611 6 * @compile/fail/ref=T6330920.out -XDrawDiagnostics T6330920.java
duke@1 7 */
duke@1 8
duke@1 9 public class T6330920 {
duke@1 10 public void test(T6330920 x) {}
duke@1 11 public void test(T6330920Missing x) {}
duke@1 12 }

mercurial