1/**
2 * @test     /nodynamiccopyright/
3 * @bug      7062745 7157798
4 * @summary  Negative test of conflicting same-name methods inherited from multiple interfaces when return type not compatible
5 * @compile/fail/ref=Test3.out -Werror -Xlint:unchecked -XDrawDiagnostics Test3.java
6 */
7
8import java.util.List;
9import java.io.Serializable;
10
11interface A { int m(); }
12interface B { Integer m(); }
13
14interface AB extends A, B {} //error
15
16interface C { List<Integer> m(); }
17interface D { List<Number> m(); }
18
19interface CD extends C, D {} //error
20
21interface E<T> { T m(); }
22interface F<T> { T m(); }
23interface G { Serializable m(); }
24
25interface BE extends B, E<Number> {} //ok, covariant return
26
27interface BE2<T> extends B, E<T> {} //error
28
29interface EF<T> extends E<T>, F<T> {} //ok
30
31interface EF2<U, V extends U> extends E<U>, F<V> {} //ok, covariant return
32
33interface EF3<U, V> extends E<U>, F<V> {} //error
34
35interface EG<T extends Number> extends E<T>, G {} //ok
36
37interface EFG<U extends Serializable, V extends Serializable> extends E<U>, F<V>, G {} //error
38