test/tools/javac/defaultMethods/Neg09.java

Thu, 31 Aug 2017 15:17:03 +0800

author
aoqi
date
Thu, 31 Aug 2017 15:17:03 +0800
changeset 2525
2eb010b6cb22
parent 2020
bb7271e64ef6
parent 0
959103a6100f
permissions
-rw-r--r--

merge

aoqi@0 1 /* @test /nodynamiccopyright/
aoqi@0 2 * @bug 7192246
aoqi@0 3 * @summary check that default overrides are properly type-checked
aoqi@0 4 * @compile/fail/ref=Neg09.out -Werror -Xlint:unchecked -XDrawDiagnostics Neg09.java
aoqi@0 5 */
aoqi@0 6 import java.util.List;
aoqi@0 7
aoqi@0 8 class Neg09 {
aoqi@0 9 interface I {
aoqi@0 10 default List<String> m() { return null; }
aoqi@0 11 }
aoqi@0 12
aoqi@0 13 static class C1 {
aoqi@0 14 public List m() { return null; } //unchecked (return) override
aoqi@0 15 }
aoqi@0 16
aoqi@0 17 static class C2 extends C1 implements I { }
aoqi@0 18
aoqi@0 19 static class C3 implements I {
aoqi@0 20 public List m() { return null; } //unchecked (return) override
aoqi@0 21 }
aoqi@0 22 }

mercurial