1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/*
* @test /nodynamiccopyright/
* @bug 4725668
* @summary generics: reject implementation with incorrect return type
* @author gafter
*
* @compile/fail/ref=SelfImplement.out -XDrawDiagnostics SelfImplement.java
*/
class SelfImplement {
static abstract class A<T> {
abstract void f(T t);
public int f(Integer t) { return 3; }
}
static abstract class B extends A<Integer> {
// error: A<Integer>.f(Integer) returning int can't implement
// A<Integer>.f(Integer) returning void.
}
}
|
