HEAD - variant test case for bug 175987

1 files changed, 19 insertions, 1 deletions

diff --git a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
index 544ecc5bb6..f9cee0b02b 100644
--- a/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
+++ b/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
@@ -7386,7 +7386,6 @@ public void _test122() {
 	this.runNegativeTest(
 		new String[] {
 			"X.java",
-
 			"interface I {\n" + 
 			"  public void foo(Integer i, Y<String> l1, Y<String> l2);\n" + 
 			"}\n" + 
@@ -7402,4 +7401,23 @@ public void _test122() {
 		"----------\n"
 	);
 }
+// https://bugs.eclipse.org/bugs/show_bug.cgi?id=175987
+// variant that must pass because X#foo's signature is a subsignature of
+// I#foo's.
+public void test123() {
+	this.runConformTest(
+		new String[] {
+			"X.java",
+			"interface I {\n" + 
+			"  public void foo(Integer i, Y<String> l1, Y<String> l2);\n" + 
+			"}\n" + 
+			"public class X implements I {\n" + 
+			"  public void foo(Integer i, Y l1, Y l2) {\n" + 
+			"  }\n" + 
+			"}\n" + 
+			"class Y<T> {\n" + 
+			"}"},
+		""
+	);
+}
 }