//https://bugs.eclipse.org/bugs/show_bug.cgi?id=412650,

//[1.8][compiler]Incongruent Lambda Exception thrown

public void test412650() {

	this.runNegativeTest(

		new String[] {

				"X.java",

				"package test;\n" +

				"import static test.Y.*;\n" +

				"public class X  {\n" +

				"  public void foo() {\n" +

				"    Y<String> generated = cons(\"a\", () -> cons(\"b\", Y::<String>empty));\n" +

				"  }\n" +

				"}\n",

				"Y.java",

				"package test;\n" +

				"import java.util.function.Supplier;\n" +

				"public abstract class Y<E>  {\n" +

				"  public static <E> Y<E> empty() { return null;}\n" +

				"  public static <E> Y<E> cons(E head, Supplier<Y<E>> tailFun) {return null;}\n" +

				"}\n"

		},

		"----------\n" + 

		"1. ERROR in X.java (at line 5)\n" + 

		"	Y<String> generated = cons(\"a\", () -> cons(\"b\", Y::<String>empty));\n" + 

		"	                      ^^^^\n" + 

		"The method cons(String, () -> cons(\"b\", Y::<String>empty)) is undefined for the type X\n" + 

		"----------\n",

		null /* no extra class libraries */,

		true /* flush output directory */,

		null /* custom options */

	);

}