/*
 * @test /nodynamiccopyright/
 * @bug 8062373
 * @summary Test that javac does not recommend a diamond site that would result in error.
 * @compile/ref=Neg16.out -Xlint:-options Neg16.java -XDrawDiagnostics -XDfind=diamond
 */

class Neg16 {

   interface Predicate<T> {
        default boolean test(T t) {
            System.out.println("Default method");
            return false;
        }
    }

    static void someMethod(Predicate<? extends Number> p) {
        if (!p.test(null))
            throw new Error("Blew it");
    }

    public static void main(String[] args) {
        someMethod(new Predicate<Integer>() { // cannot convert to diamond
            public boolean test(Integer n) {
                System.out.println("Override");
                return true;
            }
        });
        someMethod(new Predicate<Number>() { // can convert to diamond.
            public boolean test(Number n) {
                System.out.println("Override");
                return true;
            }
        });
    }
}