/*
 * @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
        }
    }
}