void () { doTest( "import java.util.function.Predicate;\n" + "\n" + "public class X {\n" + " public static void example() {\n" + " test(Predicate.isEqual(\"1\"), Predicate.isEqual(\"1\"),\n" + " Predicate./*'isEqual' between objects of inconvertible types 'String' and 'Integer'*/isEqual/**/(\"1\"), " + " Predicate./*'isEqual' between objects of inconvertible types 'String' and 'Number'*/isEqual/**/(\"1\"));\n" + " test(Predicate.not(Predicate.isEqual(\"1\")), Predicate.not(Predicate.isEqual(\"1\")),\n" + " Predicate.not(Predicate./*'isEqual' between objects of inconvertible types 'String' and 'Integer'*/isEqual/**/(\"1\")), " + " Predicate.not(Predicate./*'isEqual' between objects of inconvertible types 'String' and 'Number'*/isEqual/**/(\"1\")));\n" + "\n" + " test(Predicate.isEqual(new Object()), Predicate.isEqual(new Object()),\n" + " Predicate.isEqual(new Object()), Predicate.isEqual(new Object()));\n" + " test(Predicate.not(Predicate.isEqual(new Object())), Predicate.not(Predicate.isEqual(new Object())),\n" + " Predicate.not(Predicate.isEqual(new Object())), Predicate.not(Predicate.isEqual(new Object())));\n" + " }\n" + "\n" + " static <T> void test(Predicate t1, Predicate<T> t2,\n" + " Predicate<? super Integer> t3, Predicate<? extends Number> t4) {}\n" + "}\n" + "\n"); }