File: Neg07.java

package info (click to toggle)
openjdk-17 17.0.17%2B10-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 764,928 kB
  • sloc: java: 5,319,061; xml: 1,291,711; cpp: 1,202,358; ansic: 428,746; asm: 404,978; objc: 20,861; sh: 14,754; javascript: 10,743; python: 6,402; makefile: 2,404; perl: 357; awk: 351; sed: 172; jsp: 24; csh: 3
file content (21 lines) | stat: -rw-r--r-- 476 bytes parent folder | download | duplicates (18) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
/* @test /nodynamiccopyright/
 * @bug 7192246
 * @summary check that default overrides are properly type-checked
 * @compile/fail/ref=Neg07.out -XDrawDiagnostics Neg07.java
 */

class Neg07 {
    interface I {
        default int m() { return 1; }
    }

    static class C1 {
        public void m() { } //incompatible return
    }

    static class C2 extends C1 implements I { }

    static class C3 implements I {
        public void m() { } //incompatible return
    }
}