Bug 430686 - [1.8][compiler] Generics: erroneously reports 'method notI20140402-0100I20140401-1500I20140401-0800

applicable for the arguments'
- avoid erasures to be intersection types of identical elements
- consistently perform substitution on recursive capture bindings

1 files changed, 28 insertions, 0 deletions

diff --git a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/GenericsRegressionTest.java b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/GenericsRegressionTest.java
index b533a74354..d9dd19618f 100644
--- a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/GenericsRegressionTest.java
+++ b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/GenericsRegressionTest.java
@@ -20,6 +20,7 @@
  *								Bug 426590 - [1.8][compiler] Compiler error with tenary operator
  *								Bug 427216 - [Java8] array to varargs regression
  *								Bug 425031 - [1.8] nondeterministic inference for GenericsRegressionTest.test283353
+ *								Bug 430686 - [1.8][compiler] Generics: erroneously reports 'method not applicable for the arguments'
  *******************************************************************************/
 package org.eclipse.jdt.core.tests.compiler.regression;
 
@@ -4622,5 +4623,32 @@ public void testBug430987() {
 			"----------\n");
 	}
 }
+public void testBug430686() {
+	runConformTest(
+		new String[] {
+			"TestClass.java",
+			"\n" + 
+			"public class TestClass\n" + 
+			"{\n" + 
+			"    private static class Alice<A extends Alice<A, B>, B extends Bob>\n" + 
+			"    {\n" + 
+			"    }\n" + 
+			"\n" + 
+			"    public static class Bob\n" + 
+			"    {\n" + 
+			"    }\n" + 
+			"\n" + 
+			"    public void callingMethod()\n" + 
+			"    {\n" + 
+			"        calledMethod(); // error: The method calledMethod() in the type TestClass is not applicable for the arguments ()\n" + 
+			"    }\n" + 
+			"\n" + 
+			"    private <A extends Alice<A, B>, B extends Bob> A calledMethod()\n" + 
+			"    {\n" + 
+			"        return null;\n" + 
+			"    }\n" + 
+			"}\n"
+		});
+}
 }