Thu, 31 Aug 2017 15:17:03 +0800
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 | } |