Index: src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java
===================================================================
RCS file: /home/eclipse/org.eclipse.jdt.core.tests.compiler/src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java,v
retrieving revision 1.51
diff -u -r1.51 MethodVerifyTest.java
--- src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	6 Jun 2005 18:25:55 -0000	1.51
+++ src/org/eclipse/jdt/core/tests/compiler/regression/MethodVerifyTest.java	7 Jun 2005 13:35:28 -0000
@@ -3636,4 +3636,64 @@
 			},
 			"true");
 	}
+	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=91728
+	public void test060() {
+		this.runConformTest(
+			new String[] {
+				"X.java",
+				"import java.util.*;\n" + 
+				"\n" + 
+				"public class X<S> {\n" + 
+				"	\n" + 
+				"	public <U> X<U> test() {\n" + 
+				"		return null;\n" + 
+				"	}\n" + 
+				"        \n" + 
+				"}\n" + 
+				"\n" + 
+				"class B extends X<Set> {\n" + 
+				"	\n" + 
+				"	public B test() {\n" + 
+				"		return null;\n" + 
+				"	}\n" + 
+				"	\n" + 
+				"}\n"
+			},
+			"");
+	}		
+	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=91728 - variation
+	public void test061() {
+		this.runNegativeTest(
+			new String[] {
+				"X.java",
+				"import java.util.*;\n" + 
+				"\n" + 
+				"public class X<S> {\n" + 
+				"	\n" + 
+				"	public <U> X<U> test(U u) {\n" + 
+				"		return null;\n" + 
+				"	}\n" + 
+				"        \n" + 
+				"}\n" + 
+				"\n" + 
+				"class B extends X<Set> {\n" + 
+				"	\n" + 
+				"	public B test(Set s) {\n" + 
+				"		return super.test(s);\n" + 
+				"	}\n" + 
+				"	\n" + 
+				"}\n"
+			},
+			"----------\n" + 
+			"1. WARNING in X.java (at line 13)\n" + 
+			"	public B test(Set s) {\n" + 
+			"	         ^^^^^^^^^^^\n" + 
+			"The method test(Set) of type B should be tagged with @Override since it actually overrides a superclass method\n" + 
+			"----------\n" + 
+			"2. ERROR in X.java (at line 14)\n" + 
+			"	return super.test(s);\n" + 
+			"	       ^^^^^^^^^^^^^\n" + 
+			"Type mismatch: cannot convert from X<Set> to B\n" + 
+			"----------\n");
+	}	
 }