Mon, 21 Jan 2013 11:16:28 -0800
Merge
mcimadamore@1393 | 1 | /* |
mcimadamore@1393 | 2 | * @test /nodynamiccopyright/ |
mcimadamore@1393 | 3 | * @summary check that default overrides are properly type-checked |
mcimadamore@1415 | 4 | * @compile/fail/ref=Neg07.out -XDrawDiagnostics Neg07.java |
mcimadamore@1393 | 5 | */ |
mcimadamore@1393 | 6 | |
mcimadamore@1393 | 7 | class Neg07 { |
mcimadamore@1393 | 8 | interface I { |
mcimadamore@1393 | 9 | default int m() { return 1; } |
mcimadamore@1393 | 10 | } |
mcimadamore@1393 | 11 | |
mcimadamore@1393 | 12 | static class C1 { |
mcimadamore@1393 | 13 | public void m() { } //incompatible return |
mcimadamore@1393 | 14 | } |
mcimadamore@1393 | 15 | |
mcimadamore@1393 | 16 | static class C2 extends C1 implements I { } |
mcimadamore@1393 | 17 | |
mcimadamore@1393 | 18 | static class C3 implements I { |
mcimadamore@1393 | 19 | public void m() { } //incompatible return |
mcimadamore@1393 | 20 | } |
mcimadamore@1393 | 21 | } |