Maurizio Cimadamore 80ce1c8be2 8167000: Refine handling of multiple maximally specific abstract methods
Bring the compiler in sync with spec changes in JDK-7034913

Reviewed-by: vromero, dlsmith
2016-10-17 15:02:46 +01:00

22 lines
520 B
Java

/*
* @test /nodynamiccopyright/
* @bug 8167000
* @summary Refine handling of multiple maximally specific abstract methods
* @compile/fail/ref=T8167000b.out -XDrawDiagnostics T8167000b.java
*/
public class T8167000b {
interface A {
Integer m() throws Throwable;
}
interface B<X extends Throwable> {
Object m() throws X;
}
static abstract class E<T extends Throwable> implements A, B<T> {
void test() {
Integer l = m(); //error: unhandled T
}
}
}