1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/test/tools/javac/generics/rawOverride/7157798/Test3.java Mon May 21 16:10:14 2012 -0700
1.3 @@ -0,0 +1,37 @@
1.4 +/**
1.5 + * @test /nodynamiccopyright/
1.6 + * @bug 7062745 7157798
1.7 + * @summary Negative test of conflicting same-name methods inherited from multiple interfaces when return type not compatible
1.8 + * @compile/fail/ref=Test3.out -Werror -Xlint:unchecked -XDrawDiagnostics Test3.java
1.9 + */
1.10 +
1.11 +import java.util.List;
1.12 +import java.io.Serializable;
1.13 +
1.14 +interface A { int m(); }
1.15 +interface B { Integer m(); }
1.16 +
1.17 +interface AB extends A, B {} //error
1.18 +
1.19 +interface C { List<Integer> m(); }
1.20 +interface D { List<Number> m(); }
1.21 +
1.22 +interface CD extends C, D {} //error
1.23 +
1.24 +interface E<T> { T m(); }
1.25 +interface F<T> { T m(); }
1.26 +interface G { Serializable m(); }
1.27 +
1.28 +interface BE extends B, E<Number> {} //ok, covariant return
1.29 +
1.30 +interface BE2<T> extends B, E<T> {} //error
1.31 +
1.32 +interface EF<T> extends E<T>, F<T> {} //ok
1.33 +
1.34 +interface EF2<U, V extends U> extends E<U>, F<V> {} //ok, covariant return
1.35 +
1.36 +interface EF3<U, V> extends E<U>, F<V> {} //error
1.37 +
1.38 +interface EG<T extends Number> extends E<T>, G {} //ok
1.39 +
1.40 +interface EFG<U extends Serializable, V extends Serializable> extends E<U>, F<V>, G {} //error
