russell@unturf.com
0a580b313d
Authors: russell@unturf.com · brackishbert@gmail.com · foxhop.net · TimeHexOn.com Patches, unit tests, benchmarks, whitepaper, and outreach briefs. Public domain — no copyright claimed. Use freely.
19 lines
544 B
Java
19 lines
544 B
Java
/*
|
|
* @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.
|
|
}
|
|
}
|