/*

 * @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;

            }

        });

    }

}