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.
21 lines
520 B
Java
21 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
|
|
}
|
|
}
|
|
}
|