Attachment #201129 for bug #317719

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Lines 191-197 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/MethodVerifier15.java (-2 / +10 lines)
191	final MethodBinding thisMethod = current[i];	191	final MethodBinding thisMethod = current[i];
192	if (thisMethod.areParameterErasuresEqual(bridge) && thisMethod.returnType.erasure() == bridge.returnType.erasure()) {	192	if (thisMethod.areParameterErasuresEqual(bridge) && thisMethod.returnType.erasure() == bridge.returnType.erasure()) {
193	// use inherited method for problem reporting.	193	// use inherited method for problem reporting.
194	problemReporter(thisMethod).methodNameClash(thisMethod, inheritedMethod.declaringClass.isRawType() ? inheritedMethod : inheritedMethod.original());	194	problemReporter(thisMethod).methodNameClash(thisMethod, inheritedMethod.declaringClass.isRawType() ? inheritedMethod : inheritedMethod.original(), ProblemSeverities.Error);
195	return;	195	return;
196	}	196	}
197	}	197	}
Lines 720-725 Link Here
720	MethodBinding original = methodToCheck.original(); // can be the same as inherited	720	MethodBinding original = methodToCheck.original(); // can be the same as inherited
721	if (!current.areParameterErasuresEqual(original))	721	if (!current.areParameterErasuresEqual(original))
722	return false;	722	return false;
		723	int severity = ProblemSeverities.Error;
		724	if (this.environment.globalOptions.complianceLevel == ClassFileConstants.JDK1_6) {
		725	// for 1.6 return types also need to be checked
		726	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
		727	if (current.returnType.erasure() != original.returnType.erasure())
		728	severity = ProblemSeverities.Warning;
		729	}
723	if (!treatAsSynthetic) {	730	if (!treatAsSynthetic) {
724	// For a user method, see if current class overrides the inherited method. If it does,	731	// For a user method, see if current class overrides the inherited method. If it does,
725	// then any grievance we may have ought to be against the current class's method and	732	// then any grievance we may have ought to be against the current class's method and
Lines 743-749 Link Here
743	if (!current.areParameterErasuresEqual(original))	750	if (!current.areParameterErasuresEqual(original))
744	return false;	751	return false;
745	original = inherited.original(); // For error reporting use, inherited.original()	752	original = inherited.original(); // For error reporting use, inherited.original()
746	problemReporter(current).methodNameClash(current, inherited.declaringClass.isRawType() ? inherited : original);	753	problemReporter(current).methodNameClash(current, inherited.declaringClass.isRawType() ? inherited : original, severity);
		754	if (severity == ProblemSeverities.Warning) return false;
747	return true;	755	return true;
748	}	756	}
749	public boolean doesMethodOverride(MethodBinding method, MethodBinding inheritedMethod) {	757	public boolean doesMethodOverride(MethodBinding method, MethodBinding inheritedMethod) {

Lines 26-31 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/SourceTypeBinding.java (-6 / +28 lines)
26	import org.eclipse.jdt.internal.compiler.ast.TypeReference;	26	import org.eclipse.jdt.internal.compiler.ast.TypeReference;
27	import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;	27	import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
28	import org.eclipse.jdt.internal.compiler.impl.Constant;	28	import org.eclipse.jdt.internal.compiler.impl.Constant;
		29	import org.eclipse.jdt.internal.compiler.problem.ProblemSeverities;
29	import org.eclipse.jdt.internal.compiler.util.SimpleLookupTable;	30	import org.eclipse.jdt.internal.compiler.util.SimpleLookupTable;
30	import org.eclipse.jdt.internal.compiler.util.Util;	31	import org.eclipse.jdt.internal.compiler.util.Util;
31		32
Lines 1182-1189 Link Here
1182	}	1183	}
1183		1184
1184	// find & report collision cases	1185	// find & report collision cases
1185	boolean complyTo15 = this.scope.compilerOptions().sourceLevel >= ClassFileConstants.JDK1_5;	1186	boolean complyTo15OrAbove = this.scope.compilerOptions().sourceLevel >= ClassFileConstants.JDK1_5;
		1187	boolean compliance16 = this.scope.compilerOptions().complianceLevel == ClassFileConstants.JDK1_6;
		1188
1186	for (int i = 0, length = this.methods.length; i < length; i++) {	1189	for (int i = 0, length = this.methods.length; i < length; i++) {
		1190	int severity = ProblemSeverities.Error;
1187	MethodBinding method = resolvedMethods[i];	1191	MethodBinding method = resolvedMethods[i];
1188	if (method == null)	1192	if (method == null)
1189	continue;	1193	continue;
Lines 1196-1206 Link Here
1196	if (!CharOperation.equals(selector, method2.selector))	1200	if (!CharOperation.equals(selector, method2.selector))
1197	break nextSibling; // methods with same selector are contiguous	1201	break nextSibling; // methods with same selector are contiguous
1198		1202
1199	if (complyTo15 ? !method.areParameterErasuresEqual(method2) : !method.areParametersEqual(method2))	1203	if (complyTo15OrAbove) {
1200	continue nextSibling; // otherwise duplicates / name clash	1204	if (method.areParameterErasuresEqual(method2)) {
		1205	// we now ignore return types in 1.7 when detecting duplicates, just as we did before 1.5
		1206	// Only in 1.6, we have to make sure even return types are different
		1207	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
		1208	if (compliance16 && method.returnType != null && method2.returnType != null) {
		1209	if (method.returnType.erasure() != method2.returnType.erasure()) {
		1210	severity = ProblemSeverities.Warning;
		1211	}
		1212	// else return types also equal. All conditions satisfied
		1213	// to give error in 1.6 compliance as well.
		1214	}
		1215	} else {
		1216	continue nextSibling;
		1217	}
		1218	} else if (!method.areParametersEqual(method2)) {
		1219	// prior to 1.5, parameters identical meant a collision case
		1220	continue nextSibling;
		1221	}
		1222	// otherwise duplicates / name clash
1201	boolean isEnumSpecialMethod = isEnum() && (CharOperation.equals(selector,TypeConstants.VALUEOF) \|\| CharOperation.equals(selector,TypeConstants.VALUES));	1223	boolean isEnumSpecialMethod = isEnum() && (CharOperation.equals(selector,TypeConstants.VALUEOF) \|\| CharOperation.equals(selector,TypeConstants.VALUES));
1202	// report duplicate	1224	// report duplicate
1203	boolean removeMethod2 = true;	1225	boolean removeMethod2 = (severity == ProblemSeverities.Error) ? true : false; // do not remove if in 1.6 and just a warning given
1204	if (methodDecl == null) {	1226	if (methodDecl == null) {
1205	methodDecl = method.sourceMethod(); // cannot be retrieved after binding is lost & may still be null if method is special	1227	methodDecl = method.sourceMethod(); // cannot be retrieved after binding is lost & may still be null if method is special
1206	if (methodDecl != null && methodDecl.binding != null) { // ensure its a valid user defined method	1228	if (methodDecl != null && methodDecl.binding != null) { // ensure its a valid user defined method
Lines 1210-1216 Link Here
1210	// remove user defined methods & keep the synthetic	1232	// remove user defined methods & keep the synthetic
1211	removeMethod = true;	1233	removeMethod = true;
1212	} else {	1234	} else {
1213	this.scope.problemReporter().duplicateMethodInType(this, methodDecl, method.areParametersEqual(method2));	1235	this.scope.problemReporter().duplicateMethodInType(this, methodDecl, method.areParametersEqual(method2), severity);
1214	}	1236	}
1215	if (removeMethod) {	1237	if (removeMethod) {
1216	removeMethod2 = false;	1238	removeMethod2 = false;
Lines 1229-1235 Link Here
1229	this.scope.problemReporter().duplicateEnumSpecialMethod(this, method2Decl);	1251	this.scope.problemReporter().duplicateEnumSpecialMethod(this, method2Decl);
1230	removeMethod2 = true;	1252	removeMethod2 = true;
1231	} else {	1253	} else {
1232	this.scope.problemReporter().duplicateMethodInType(this, method2Decl, method.areParametersEqual(method2));	1254	this.scope.problemReporter().duplicateMethodInType(this, method2Decl, method.areParametersEqual(method2), severity);
1233	}	1255	}
1234	if (removeMethod2) {	1256	if (removeMethod2) {
1235	method2Decl.binding = null;	1257	method2Decl.binding = null;




		nodeSourceStart(local, location),
		nodeSourceEnd(local, location));
}
public void duplicateMethodInType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, boolean equalParameters, int severity) {
    MethodBinding method = methodDecl.binding;
    if (equalParameters) {
		this.handle(

				new String(methodDecl.selector),
				new String(method.declaringClass.shortReadableName()),
				typesAsString(method, true)},
			severity,
			methodDecl.sourceStart,
			methodDecl.sourceEnd);
    } else {

				new String(method.declaringClass.shortReadableName()),
				typesAsString(method, true),
				typesAsString(method, erasures, true) },
			severity,
			methodDecl.sourceStart,
			methodDecl.sourceEnd);
    }

		method.sourceEnd);
}

public void methodNameClash(MethodBinding currentMethod, MethodBinding inheritedMethod, int severity) {
	this.handle(
		IProblem.MethodNameClash,
		new String[] {

			typesAsString(inheritedMethod, true),
			new String(inheritedMethod.declaringClass.shortReadableName()),
		 },
		severity,
		currentMethod.sourceStart(),
		currentMethod.sourceEnd());
}





public class NegativeTest extends AbstractRegressionTest {
static {
//	TESTS_NUMBERS = new int[] { 92 };
}
public NegativeTest(String name) {
	super(name);

	);
}
public void test092() {
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in p\\Toplevel12.java (at line 4)\n" + 
			"	Object local(){\n" + 
			"	       ^^^^^^^\n" + 
			"Duplicate method local() in type Toplevel12\n" + 
			"----------\n" + 
			"2. ERROR in p\\Toplevel12.java (at line 15)\n" + 
			"	return new Package2.Sub();\n" + 
			"	       ^^^^^^^^^^^^^^^^^^\n" + 
			"No enclosing instance of type Package2 is accessible. Must qualify the allocation with an enclosing instance of type Package2 (e.g. x.new A() where x is an instance of Package2).\n" + 
			"----------\n" + 
			"3. WARNING in p\\Toplevel12.java (at line 17)\n" + 
			"	void local(){\n" + 
			"	     ^^^^^^^\n" + 
			"Duplicate method local() in type Toplevel12\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in p\\Toplevel12.java (at line 4)\n" + 
				"	Object local(){\n" + 
				"	       ^^^^^^^\n" + 
				"Duplicate method local() in type Toplevel12\n" + 
				"----------\n" + 
				"2. ERROR in p\\Toplevel12.java (at line 15)\n" + 
				"	return new Package2.Sub();\n" + 
				"	       ^^^^^^^^^^^^^^^^^^\n" + 
				"No enclosing instance of type Package2 is accessible. Must qualify the allocation with an enclosing instance of type Package2 (e.g. x.new A() where x is an instance of Package2).\n" + 
				"----------\n" + 
				"3. ERROR in p\\Toplevel12.java (at line 17)\n" + 
				"	void local(){\n" + 
				"	     ^^^^^^^\n" + 
				"Duplicate method local() in type Toplevel12\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"p/Toplevel12.java",

			"  }\n" +
			"}",
		},
		expectedCompilerLog
		"1. ERROR in p\\Toplevel12.java (at line 4)\n" +
		"	Object local(){\n" +
		"	       ^^^^^^^\n" +
		"Duplicate method local() in type Toplevel12\n" +
		"----------\n" +
		"2. ERROR in p\\Toplevel12.java (at line 17)\n" +
		"	void local(){\n" +
		"	     ^^^^^^^\n" +
		"Duplicate method local() in type Toplevel12\n" +
		"----------\n"
	);
}
public void test093() {





import java.util.Map;

import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
import org.eclipse.jdt.internal.compiler.impl.CompilerOptions;

import junit.framework.*;

public class AmbiguousMethodTest extends AbstractComparableTest {

	static {
//		TESTS_NAMES = new String [] { "test010a" };
	}
	public AmbiguousMethodTest(String name) {
		super(name);

	}
	public void test005() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<S extends A> void foo() { }\n" + 
				"	                   ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<N extends B> N foo() { return null; }\n" + 
				"	                ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	new X().foo();\n" + 
				"	        ^^^\n" + 
				"The method foo() is ambiguous for the type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	<S extends A> void foo() { }\n" + 
					"	                   ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<N extends B> N foo() { return null; }\n" + 
					"	                ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A {}\n" +
				"class B {}\n"
			},
			expectedCompilerLog);
			"1. ERROR in X.java (at line 2)\n" + 
			"	<S extends A> void foo() { }\n" + 
			"	                   ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<N extends B> N foo() { return null; }\n" + 
			"	                ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <N>foo() and <S>foo() have the same erasure
                 <N extends B> N foo() { return null; }

	}
	public void test006() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		"----------\n" + 
		"1. ERROR in X.java (at line 3)\n" + 
		"	new Y<Object>().foo(\"X\");\n" + 
		"	                ^^^\n" + 
		"The method foo(Object) is ambiguous for the type Y<Object>\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 4)\n" + 
		"	new Y<Object>().foo2(\"X\");\n" + 
		"	                ^^^^\n" + 
		"The method foo2(Object) is ambiguous for the type Y<Object>\n" + 
		"----------\n" + 
		"3. WARNING in X.java (at line 10)\n" + 
		"	void foo(T2 t) {}\n" + 
		"	     ^^^^^^^^^\n" + 
		"Name clash: The method foo(T2) of type Y<T2> has the same erasure as foo(U1) of type X<T> but does not override it\n" + 
		"----------\n" + 
		"4. WARNING in X.java (at line 11)\n" + 
		"	<U3> void foo2(T2 t) {}\n" + 
		"	          ^^^^^^^^^^\n" + 
		"Name clash: The method foo2(T2) of type Y<T2> has the same erasure as foo2(U2) of type X<T> but does not override it\n" + 
		"----------\n":
			"----------\n" + 
			"1. ERROR in X.java (at line 3)\n" + 
			"	new Y<Object>().foo(\"X\");\n" + 
			"	                ^^^\n" + 

			"	<U3> void foo2(T2 t) {}\n" + 
			"	          ^^^^^^^^^^\n" + 
			"Name clash: The method foo2(T2) of type Y<T2> has the same erasure as foo2(U2) of type X<T> but does not override it\n" + 
			"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",
				"public class X<T> {\n" +
				"   void test() {\n" +
				"   	new Y<Object>().foo(\"X\");\n" +
				"   	new Y<Object>().foo2(\"X\");\n" +
				"   }\n" +
				"	<U1> U1 foo(U1 t) {return null;}\n" +
				"	<U2> U2 foo2(U2 t) {return null;}\n" +
				"}\n" +
				"class Y<T2> extends X<T2> {\n" +
				"	void foo(T2 t) {}\n" +
				"	<U3> void foo2(T2 t) {}\n" +
				"}\n"
			},
			expectedCompilerLog
		);
/* javac 7
X.java:3: reference to foo is ambiguous, both method <U1>foo(U1) in X and method

	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=106090
	public void test011a() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		"----------\n" + 
		"1. WARNING in Combined.java (at line 2)\n" + 
		"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" + 
		"	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method pickOne(T) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
		"----------\n" + 
		"2. WARNING in Combined.java (at line 3)\n" + 
		"	<T> T pickOne(Comparable<T> value) throws ExTwo { return null;}\n" + 
		"	      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method pickOne(Comparable<T>) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
		"----------\n":
			"----------\n" + 
			"1. ERROR in Combined.java (at line 2)\n" + 
			"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" + 
			"	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method pickOne(T) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
			"----------\n" + 
			"2. ERROR in Combined.java (at line 3)\n" + 
			"	<T> T pickOne(Comparable<T> value) throws ExTwo { return null;}\n" + 
			"	      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method pickOne(Comparable<T>) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
			"----------\n";
		this.runNegativeTest(
			new String[] {
				"Combined.java",

				"class ExOne extends Exception {static final long serialVersionUID = 1;}\n" +
				"class ExTwo extends Exception {static final long serialVersionUID = 2;}"
			},
			expectedCompilerLog
			"1. ERROR in Combined.java (at line 2)\n" + 
			"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" + 
			"	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method pickOne(T) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
			"----------\n" + 
			"2. ERROR in Combined.java (at line 3)\n" + 
			"	<T> T pickOne(Comparable<T> value) throws ExTwo { return null;}\n" + 
			"	      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method pickOne(Comparable<T>) has the same erasure pickOne(Comparable<T>) as another method in type Combined<A,B>\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <T#1>pickOne(Comparable<T#1>) and <T#2>pickOne(T#2) have the same erasure

	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=106090
	public void test011b() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		"----------\n" + 
		"1. WARNING in Test1.java (at line 2)\n" + 
		"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" + 
		"	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method pickOne(T) has the same erasure pickOne(Comparable<T>) as another method in type Test1<AA,BB>\n" + 
		"----------\n" + 
		"2. WARNING in Test1.java (at line 3)\n" + 
		"	<T> T pickOne(Comparable<T> value) throws ExTwo { return null;}\n" + 
		"	      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method pickOne(Comparable<T>) has the same erasure pickOne(Comparable<T>) as another method in type Test1<AA,BB>\n" + 
		"----------\n" + 
		"3. WARNING in Test1.java (at line 4)\n" + 
		"	void pickOne2(Test1<Integer,Integer> c) throws ExOne { c.pickOne((Comparable) \"test\"); }\n" + 
		"	                                                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked invocation pickOne(Comparable) of the generic method pickOne(T) of type Test1<Integer,Integer>\n" + 
		"----------\n" + 
		"4. WARNING in Test1.java (at line 4)\n" + 
		"	void pickOne2(Test1<Integer,Integer> c) throws ExOne { c.pickOne((Comparable) \"test\"); }\n" + 
		"	                                                                  ^^^^^^^^^^\n" + 
		"Comparable is a raw type. References to generic type Comparable<T> should be parameterized\n" + 
		"----------\n":
			"----------\n" + 
			"1. ERROR in Test1.java (at line 2)\n" + 
			"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" + 

			"	void pickOne2(Test1<Integer,Integer> c) throws ExOne { c.pickOne((Comparable) \"test\"); }\n" + 
			"	                                                                  ^^^^^^^^^^\n" + 
			"Comparable is a raw type. References to generic type Comparable<T> should be parameterized\n" + 
			"----------\n";
		this.runNegativeTest(
			new String[] {
				"Test1.java",
				"public class Test1<AA, BB> {\n" +
				"	<T extends Comparable<T>> void pickOne(T value) throws ExOne {}\n" +
				"	<T> T pickOne(Comparable<T> value) throws ExTwo { return null;}\n" +
				"	void pickOne2(Test1<Integer,Integer> c) throws ExOne { c.pickOne((Comparable) \"test\"); }\n" +
				"}\n" +
				"class ExOne extends Exception {static final long serialVersionUID = 1;}\n" +
				"class ExTwo extends Exception {static final long serialVersionUID = 2;}"
			},
			expectedCompilerLog
		);
/* javac 7
X.java:3: name clash: <T#1>pickOne(Comparable<T#1>) and <T#2>pickOne(T#2) have the same erasure

	// variant: having both methods in the same class should not change anything
	public void test021() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		"----------\n" + 
		"1. WARNING in Y.java (at line 3)\n" + 
		"	public class Y<V extends String> extends X<V> {\n" + 
		"	                         ^^^^^^\n" + 
		"The type parameter V should not be bounded by the final type String. Final types cannot be further extended\n" + 
		"----------\n" + 
		"2. WARNING in Y.java (at line 4)\n" + 
		"	public static <W extends String> Y<W> make(Class<W> clazz) {\n" + 
		"	                         ^^^^^^\n" + 
		"The type parameter W should not be bounded by the final type String. Final types cannot be further extended\n" + 
		"----------\n" + 
		"3. WARNING in Y.java (at line 4)\n" + 
		"	public static <W extends String> Y<W> make(Class<W> clazz) {\n" + 
		"	                                      ^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method make(Class<W>) has the same erasure make(Class<T>) as another method in type Y<V>\n" + 
		"----------\n" + 
		"4. WARNING in Y.java (at line 8)\n" + 
		"	public static <U extends Object> X<U> make(Class<U> clazz) {\n" + 
		"	                                      ^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method make(Class<U>) has the same erasure make(Class<T>) as another method in type Y<V>\n" + 
		"----------\n" + 
		"5. WARNING in Y.java (at line 13)\n" + 
		"	Y.make(getClazz());\n" + 
		"	^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked invocation make(Class) of the generic method make(Class<W>) of type Y\n" + 
		"----------\n" + 
		"6. WARNING in Y.java (at line 13)\n" + 
		"	Y.make(getClazz());\n" + 
		"	       ^^^^^^^^^^\n" + 
		"Type safety: The expression of type Class needs unchecked conversion to conform to Class<String>\n" + 
		"----------\n" + 
		"7. WARNING in Y.java (at line 15)\n" + 
		"	public static Class getClazz() {\n" + 
		"	              ^^^^^\n" + 
		"Class is a raw type. References to generic type Class<T> should be parameterized\n" + 
		"----------\n":
			"----------\n" + 
			"1. WARNING in Y.java (at line 3)\n" + 
			"	public class Y<V extends String> extends X<V> {\n" + 

			"	public static Class getClazz() {\n" + 
			"	              ^^^^^\n" + 
			"Class is a raw type. References to generic type Class<T> should be parameterized\n" + 
			"----------\n";
		this.runNegativeTest(
			new String[] {
				"Y.java",
				"class X<T extends Object> {\n" +
				"}\n" +
				"public class Y<V extends String> extends X<V> {\n" +
				"  public static <W extends String> Y<W> make(Class<W> clazz) {\n" +
				"    System.out.print(true);\n" +
				"    return new Y<W>();\n" +
				"  }\n" +
				"  public static <U extends Object> X<U> make(Class<U> clazz) {\n" +
				"    System.out.print(false);\n" +
				"    return new X<U>();\n" +
				"  }\n" +
				"  public static void main(String[] args) throws Exception {\n" +
				"    Y.make(getClazz());\n" +
				"  }\n" +
				"  public static Class getClazz() {\n" +
				"    return String.class;\n" +
				"  }\n" +
				"}"
			},
			expectedCompilerLog
		);
/* javac 7
X.java:8: name clash: <U>make(Class<U>) and <W>make(Class<W>) have the same erasure

	// variant: using instances triggers raw methods, which are ambiguous
	public void test022() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		"----------\n" + 
		"1. WARNING in X.java (at line 3)\n" + 
		"	class Y<V extends String> extends X<V> {\n" + 
		"	                  ^^^^^^\n" + 
		"The type parameter V should not be bounded by the final type String. Final types cannot be further extended\n" + 
		"----------\n" + 
		"2. WARNING in X.java (at line 4)\n" + 
		"	public <W extends String> Y<W> make(Class<W> clazz) {\n" + 
		"	                  ^^^^^^\n" + 
		"The type parameter W should not be bounded by the final type String. Final types cannot be further extended\n" + 
		"----------\n" + 
		"3. WARNING in X.java (at line 4)\n" + 
		"	public <W extends String> Y<W> make(Class<W> clazz) {\n" + 
		"	                               ^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method make(Class<W>) has the same erasure make(Class<T>) as another method in type Y<V>\n" + 
		"----------\n" + 
		"4. WARNING in X.java (at line 7)\n" + 
		"	public <U extends Object> X<U> make(Class<U> clazz) {\n" + 
		"	                               ^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method make(Class<U>) has the same erasure make(Class<T>) as another method in type Y<V>\n" + 
		"----------\n" + 
		"5. WARNING in X.java (at line 11)\n" + 
		"	Y y = new Y();\n" + 
		"	^\n" + 
		"Y is a raw type. References to generic type Y<V> should be parameterized\n" + 
		"----------\n" + 
		"6. WARNING in X.java (at line 11)\n" + 
		"	Y y = new Y();\n" + 
		"	          ^\n" + 
		"Y is a raw type. References to generic type Y<V> should be parameterized\n" + 
		"----------\n" + 
		"7. ERROR in X.java (at line 12)\n" + 
		"	y.make(String.class);\n" + 
		"	  ^^^^\n" + 
		"The method make(Class) is ambiguous for the type Y\n" + 
		"----------\n" + 
		"8. ERROR in X.java (at line 13)\n" + 
		"	y.make(getClazz());\n" + 
		"	  ^^^^\n" + 
		"The method make(Class) is ambiguous for the type Y\n" + 
		"----------\n" + 
		"9. ERROR in X.java (at line 14)\n" + 
		"	y.make(getClazz().newInstance().getClass());\n" + 
		"	  ^^^^\n" + 
		"The method make(Class) is ambiguous for the type Y\n" + 
		"----------\n" + 
		"10. WARNING in X.java (at line 16)\n" + 
		"	public static Class getClazz() {\n" + 
		"	              ^^^^^\n" + 
		"Class is a raw type. References to generic type Class<T> should be parameterized\n" + 
		"----------\n":
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	class Y<V extends String> extends X<V> {\n" + 

			"	public static Class getClazz() {\n" + 
			"	              ^^^^^\n" + 
			"Class is a raw type. References to generic type Class<T> should be parameterized\n" + 
			"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",
				"public class X<T extends Object> {\n" +
				"}\n" +
				"class Y<V extends String> extends X<V> {\n" +
				"  public <W extends String> Y<W> make(Class<W> clazz) {\n" +
				"    return new Y<W>();\n" +
				"  }\n" +
				"  public <U extends Object> X<U> make(Class<U> clazz) {\n" +
				"    return new X<U>();\n" +
				"  }\n" +
				"  public static void main(String[] args) throws Exception {\n" +
				"    Y y = new Y();\n" +
				"    y.make(String.class);\n" +
				"    y.make(getClazz());\n" +
				"    y.make(getClazz().newInstance().getClass());\n" +
				"  }\n" +
				"  public static Class getClazz() {\n" +
				"    return String.class;\n" +
				"  }\n" +
				"}"
			},
			expectedCompilerLog
		);
/* javac 7
X.java:7: name clash: <U>make(Class<U>) and <W>make(Class<W>) have the same erasure

// https://bugs.eclipse.org/bugs/show_bug.cgi?id=162026
// variant
public void test027() {
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in J.java (at line 2)\n" + 
			"	<T extends Number> T foo(final Number p);\n" + 
			"	                     ^^^^^^^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Number) in type J\n" + 
			"----------\n" + 
			"2. WARNING in J.java (at line 3)\n" + 
			"	Float foo(final Number p);\n" + 
			"	      ^^^^^^^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Number) in type J\n" + 
			"----------\n":
				"----------\n" +
				"1. ERROR in J.java (at line 2)\n" +
				"	<T extends Number> T foo(final Number p);\n" +
				"	                     ^^^^^^^^^^^^^^^^^^^\n" +
				"Duplicate method foo(Number) in type J\n" +
				"----------\n" +
				"2. ERROR in J.java (at line 3)\n" +
				"	Float foo(final Number p);\n" +
				"	      ^^^^^^^^^^^^^^^^^^^\n" +
				"Duplicate method foo(Number) in type J\n" +
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"J.java",

			"  Float foo(final Number p);\n" +
			"}",
		},
		expectedCompilerLog);
		"1. ERROR in J.java (at line 2)\n" +
		"	<T extends Number> T foo(final Number p);\n" +
		"	                     ^^^^^^^^^^^^^^^^^^^\n" +
		"Duplicate method foo(Number) in type J\n" +
		"----------\n" +
		"2. ERROR in J.java (at line 3)\n" +
		"	Float foo(final Number p);\n" +
		"	      ^^^^^^^^^^^^^^^^^^^\n" +
		"Duplicate method foo(Number) in type J\n" +
		"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=162065
public void test028() {

//https://bugs.eclipse.org/bugs/show_bug.cgi?id=268837
// See that this test case exhibits the bug 345947
public void test076() {
	String output = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in X.java (at line 8)\n" + 
			"	<U> J<String> b();\n" + 
			"	              ^^^\n" + 
			"Name clash: The method b() of type J<E> has the same erasure as b() of type I<E> but does not override it\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 15)\n" + 
			"	J<Integer> b = ints.a();\n" + 
			"	               ^^^^^^^^\n" + 
			"Type mismatch: cannot convert from J<String> to J<Integer>\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 16)\n" + 
			"	J<Object> c = ints.a();\n" + 
			"	              ^^^^^^^^\n" + 
			"Type mismatch: cannot convert from J<String> to J<Object>\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 17)\n" + 
			"	J d = ints.a();\n" + 
			"	^\n" + 
			"J is a raw type. References to generic type J<E> should be parameterized\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 19)\n" + 
			"	I<Integer> f = ints.a();\n" + 
			"	               ^^^^^^^^\n" + 
			"Type mismatch: cannot convert from J<String> to I<Integer>\n" + 
			"----------\n" + 
			"6. ERROR in X.java (at line 20)\n" + 
			"	I<Object> g = ints.a();\n" + 
			"	              ^^^^^^^^\n" + 
			"Type mismatch: cannot convert from J<String> to I<Object>\n" + 
			"----------\n" + 
			"7. WARNING in X.java (at line 21)\n" + 
			"	I h = ints.a();\n" + 
			"	^\n" + 
			"I is a raw type. References to generic type I<E> should be parameterized\n" + 
			"----------\n" + 
			"8. ERROR in X.java (at line 24)\n" + 
			"	ints.b();\n" + 
			"	     ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"9. ERROR in X.java (at line 25)\n" + 
			"	J<String> a = ints.b();\n" + 
			"	                   ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"10. ERROR in X.java (at line 26)\n" + 
			"	J<Integer> b = ints.b();\n" + 
			"	                    ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"11. ERROR in X.java (at line 27)\n" + 
			"	J<Object> c = ints.b();\n" + 
			"	                   ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"12. WARNING in X.java (at line 28)\n" + 
			"	J d = ints.b();\n" + 
			"	^\n" + 
			"J is a raw type. References to generic type J<E> should be parameterized\n" + 
			"----------\n" + 
			"13. ERROR in X.java (at line 28)\n" + 
			"	J d = ints.b();\n" + 
			"	           ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"14. ERROR in X.java (at line 29)\n" + 
			"	I<String> e = ints.b();\n" + 
			"	                   ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"15. ERROR in X.java (at line 30)\n" + 
			"	I<Integer> f = ints.b();\n" + 
			"	                    ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"16. ERROR in X.java (at line 31)\n" + 
			"	I<Object> g = ints.b();\n" + 
			"	                   ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"17. WARNING in X.java (at line 32)\n" + 
			"	I h = ints.b();\n" + 
			"	^\n" + 
			"I is a raw type. References to generic type I<E> should be parameterized\n" + 
			"----------\n" + 
			"18. ERROR in X.java (at line 32)\n" + 
			"	I h = ints.b();\n" + 
			"	           ^\n" + 
			"The method b() is ambiguous for the type J<Integer>\n" + 
			"----------\n" + 
			"19. WARNING in X.java (at line 39)\n" + 
			"	J d = ints.c();\n" + 
			"	^\n" + 
			"J is a raw type. References to generic type J<E> should be parameterized\n" + 
			"----------\n" + 
			"20. WARNING in X.java (at line 43)\n" + 
			"	I h = ints.c();\n" + 
			"	^\n" + 
			"I is a raw type. References to generic type I<E> should be parameterized\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 8)\n" + 
				"	<U> J<String> b();\n" + 
				"	              ^^^\n" + 
				"Name clash: The method b() of type J<E> has the same erasure as b() of type I<E> but does not override it\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 15)\n" + 
				"	J<Integer> b = ints.a();\n" + 
				"	               ^^^^^^^^\n" + 
				"Type mismatch: cannot convert from J<String> to J<Integer>\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 16)\n" + 
				"	J<Object> c = ints.a();\n" + 
				"	              ^^^^^^^^\n" + 
				"Type mismatch: cannot convert from J<String> to J<Object>\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 17)\n" + 
				"	J d = ints.a();\n" + 
				"	^\n" + 
				"J is a raw type. References to generic type J<E> should be parameterized\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 19)\n" + 
				"	I<Integer> f = ints.a();\n" + 
				"	               ^^^^^^^^\n" + 
				"Type mismatch: cannot convert from J<String> to I<Integer>\n" + 
				"----------\n" + 
				"6. ERROR in X.java (at line 20)\n" + 
				"	I<Object> g = ints.a();\n" + 
				"	              ^^^^^^^^\n" + 
				"Type mismatch: cannot convert from J<String> to I<Object>\n" + 
				"----------\n" + 
				"7. WARNING in X.java (at line 21)\n" + 
				"	I h = ints.a();\n" + 
				"	^\n" + 
				"I is a raw type. References to generic type I<E> should be parameterized\n" + 
				"----------\n" + 
				"8. ERROR in X.java (at line 24)\n" + 
				"	ints.b();\n" + 
				"	     ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"9. ERROR in X.java (at line 25)\n" + 
				"	J<String> a = ints.b();\n" + 
				"	                   ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"10. ERROR in X.java (at line 26)\n" + 
				"	J<Integer> b = ints.b();\n" + 
				"	                    ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"11. ERROR in X.java (at line 27)\n" + 
				"	J<Object> c = ints.b();\n" + 
				"	                   ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"12. WARNING in X.java (at line 28)\n" + 
				"	J d = ints.b();\n" + 
				"	^\n" + 
				"J is a raw type. References to generic type J<E> should be parameterized\n" + 
				"----------\n" + 
				"13. ERROR in X.java (at line 28)\n" + 
				"	J d = ints.b();\n" + 
				"	           ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"14. ERROR in X.java (at line 29)\n" + 
				"	I<String> e = ints.b();\n" + 
				"	                   ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"15. ERROR in X.java (at line 30)\n" + 
				"	I<Integer> f = ints.b();\n" + 
				"	                    ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"16. ERROR in X.java (at line 31)\n" + 
				"	I<Object> g = ints.b();\n" + 
				"	                   ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"17. WARNING in X.java (at line 32)\n" + 
				"	I h = ints.b();\n" + 
				"	^\n" + 
				"I is a raw type. References to generic type I<E> should be parameterized\n" + 
				"----------\n" + 
				"18. ERROR in X.java (at line 32)\n" + 
				"	I h = ints.b();\n" + 
				"	           ^\n" + 
				"The method b() is ambiguous for the type J<Integer>\n" + 
				"----------\n" + 
				"19. WARNING in X.java (at line 39)\n" + 
				"	J d = ints.c();\n" + 
				"	^\n" + 
				"J is a raw type. References to generic type J<E> should be parameterized\n" + 
				"----------\n" + 
				"20. WARNING in X.java (at line 43)\n" + 
				"	I h = ints.c();\n" + 
				"	^\n" + 
				"I is a raw type. References to generic type I<E> should be parameterized\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"	}\n" +
			"}"
		},
		output
		"1. ERROR in X.java (at line 8)\n" + 
		"	<U> J<String> b();\n" + 
		"	              ^^^\n" + 
		"Name clash: The method b() of type J<E> has the same erasure as b() of type I<E> but does not override it\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 15)\n" + 
		"	J<Integer> b = ints.a();\n" + 
		"	               ^^^^^^^^\n" + 
		"Type mismatch: cannot convert from J<String> to J<Integer>\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 16)\n" + 
		"	J<Object> c = ints.a();\n" + 
		"	              ^^^^^^^^\n" + 
		"Type mismatch: cannot convert from J<String> to J<Object>\n" + 
		"----------\n" + 
		"4. WARNING in X.java (at line 17)\n" + 
		"	J d = ints.a();\n" + 
		"	^\n" + 
		"J is a raw type. References to generic type J<E> should be parameterized\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 19)\n" + 
		"	I<Integer> f = ints.a();\n" + 
		"	               ^^^^^^^^\n" + 
		"Type mismatch: cannot convert from J<String> to I<Integer>\n" + 
		"----------\n" + 
		"6. ERROR in X.java (at line 20)\n" + 
		"	I<Object> g = ints.a();\n" + 
		"	              ^^^^^^^^\n" + 
		"Type mismatch: cannot convert from J<String> to I<Object>\n" + 
		"----------\n" + 
		"7. WARNING in X.java (at line 21)\n" + 
		"	I h = ints.a();\n" + 
		"	^\n" + 
		"I is a raw type. References to generic type I<E> should be parameterized\n" + 
		"----------\n" + 
		"8. ERROR in X.java (at line 24)\n" + 
		"	ints.b();\n" + 
		"	     ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"9. ERROR in X.java (at line 25)\n" + 
		"	J<String> a = ints.b();\n" + 
		"	                   ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"10. ERROR in X.java (at line 26)\n" + 
		"	J<Integer> b = ints.b();\n" + 
		"	                    ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"11. ERROR in X.java (at line 27)\n" + 
		"	J<Object> c = ints.b();\n" + 
		"	                   ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"12. WARNING in X.java (at line 28)\n" + 
		"	J d = ints.b();\n" + 
		"	^\n" + 
		"J is a raw type. References to generic type J<E> should be parameterized\n" + 
		"----------\n" + 
		"13. ERROR in X.java (at line 28)\n" + 
		"	J d = ints.b();\n" + 
		"	           ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"14. ERROR in X.java (at line 29)\n" + 
		"	I<String> e = ints.b();\n" + 
		"	                   ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"15. ERROR in X.java (at line 30)\n" + 
		"	I<Integer> f = ints.b();\n" + 
		"	                    ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"16. ERROR in X.java (at line 31)\n" + 
		"	I<Object> g = ints.b();\n" + 
		"	                   ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"17. WARNING in X.java (at line 32)\n" + 
		"	I h = ints.b();\n" + 
		"	^\n" + 
		"I is a raw type. References to generic type I<E> should be parameterized\n" + 
		"----------\n" + 
		"18. ERROR in X.java (at line 32)\n" + 
		"	I h = ints.b();\n" + 
		"	           ^\n" + 
		"The method b() is ambiguous for the type J<Integer>\n" + 
		"----------\n" + 
		"19. WARNING in X.java (at line 39)\n" + 
		"	J d = ints.c();\n" + 
		"	^\n" + 
		"J is a raw type. References to generic type J<E> should be parameterized\n" + 
		"----------\n" + 
		"20. WARNING in X.java (at line 43)\n" + 
		"	I h = ints.c();\n" + 
		"	^\n" + 
		"I is a raw type. References to generic type I<E> should be parameterized\n" + 
		"----------\n"
	);
}


Lines 310-315 Link Here

(-)src/org/eclipse/jdt/core/tests/compiler/regression/EnumTest.java (-31 / +64 lines)
310	}	310	}
311	// reject user definition for #values()	311	// reject user definition for #values()
312	public void test008() {	312	public void test008() {
		313	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		314	"----------\n" +
		315	"1. ERROR in X.java (at line 7)\n" +
		316	" void dup() {} \n" +
		317	" ^^^^^\n" +
		318	"Duplicate method dup() in type X\n" +
		319	"----------\n" +
		320	"2. ERROR in X.java (at line 8)\n" +
		321	" void values() {} \n" +
		322	" ^^^^^^^^\n" +
		323	"The enum X already defines the method values() implicitly\n" +
		324	"----------\n" +
		325	"3. ERROR in X.java (at line 9)\n" +
		326	" void dup() {} \n" +
		327	" ^^^^^\n" +
		328	"Duplicate method dup() in type X\n" +
		329	"----------\n" +
		330	"4. ERROR in X.java (at line 10)\n" +
		331	" void values() {} \n" +
		332	" ^^^^^^^^\n" +
		333	"The enum X already defines the method values() implicitly\n" +
		334	"----------\n" +
		335	"5. ERROR in X.java (at line 11)\n" +
		336	" Missing dup() {} \n" +
		337	" ^^^^^^^\n" +
		338	"Missing cannot be resolved to a type\n" +
		339	"----------\n" +
		340	"6. WARNING in X.java (at line 11)\n" +
		341	" Missing dup() {} \n" +
		342	" ^^^^^\n" +
		343	"Duplicate method dup() in type X\n" +
		344	"----------\n":
		345	"----------\n" +
		346	"1. ERROR in X.java (at line 7)\n" +
		347	" void dup() {} \n" +
		348	" ^^^^^\n" +
		349	"Duplicate method dup() in type X\n" +
		350	"----------\n" +
		351	"2. ERROR in X.java (at line 8)\n" +
		352	" void values() {} \n" +
		353	" ^^^^^^^^\n" +
		354	"The enum X already defines the method values() implicitly\n" +
		355	"----------\n" +
		356	"3. ERROR in X.java (at line 9)\n" +
		357	" void dup() {} \n" +
		358	" ^^^^^\n" +
		359	"Duplicate method dup() in type X\n" +
		360	"----------\n" +
		361	"4. ERROR in X.java (at line 10)\n" +
		362	" void values() {} \n" +
		363	" ^^^^^^^^\n" +
		364	"The enum X already defines the method values() implicitly\n" +
		365	"----------\n" +
		366	"5. ERROR in X.java (at line 11)\n" +
		367	" Missing dup() {} \n" +
		368	" ^^^^^^^\n" +
		369	"Missing cannot be resolved to a type\n" +
		370	"----------\n" +
		371	"6. ERROR in X.java (at line 11)\n" +
		372	" Missing dup() {} \n" +
		373	" ^^^^^\n" +
		374	"Duplicate method dup() in type X\n" +
		375	"----------\n";
313	this.runNegativeTest(	376	this.runNegativeTest(
314	new String[] {	377	new String[] {
315	"X.java",	378	"X.java",
Lines 332-368 Link Here
332	" \n" +	395	" \n" +
333	"}\n"	396	"}\n"
334	},	397	},
335	"----------\n" +	398	expectedCompilerLog);
336	"1. ERROR in X.java (at line 7)\n" +
337	" void dup() {} \n" +
338	" ^^^^^\n" +
339	"Duplicate method dup() in type X\n" +
340	"----------\n" +
341	"2. ERROR in X.java (at line 8)\n" +
342	" void values() {} \n" +
343	" ^^^^^^^^\n" +
344	"The enum X already defines the method values() implicitly\n" +
345	"----------\n" +
346	"3. ERROR in X.java (at line 9)\n" +
347	" void dup() {} \n" +
348	" ^^^^^\n" +
349	"Duplicate method dup() in type X\n" +
350	"----------\n" +
351	"4. ERROR in X.java (at line 10)\n" +
352	" void values() {} \n" +
353	" ^^^^^^^^\n" +
354	"The enum X already defines the method values() implicitly\n" +
355	"----------\n" +
356	"5. ERROR in X.java (at line 11)\n" +
357	" Missing dup() {} \n" +
358	" ^^^^^^^\n" +
359	"Missing cannot be resolved to a type\n" +
360	"----------\n" +
361	"6. ERROR in X.java (at line 11)\n" +
362	" Missing dup() {} \n" +
363	" ^^^^^\n" +
364	"Duplicate method dup() in type X\n" +
365	"----------\n");
366	}	399	}
367	// switch on enum	400	// switch on enum
368	public void test009() {	401	public void test009() {




				"}\n"
			},
			"Added bridge method + Added bridge method");
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in SubTypes.java (at line 5)\n" + 
				"	@Override public X foo() { return new X(); }\n" + 
				"	                   ^^^^^\n" + 
				"Duplicate method foo() in type B\n" + 
				"----------\n" + 
				"2. ERROR in SubTypes.java (at line 5)\n" + 
				"	@Override public X foo() { return new X(); }\n" + 
				"	                   ^^^^^\n" + 
				"Name clash: The method foo() of type B has the same erasure as foo() of type X but does not override it\n" + 
				"----------\n" + 
				"3. ERROR in SubTypes.java (at line 5)\n" + 
				"	@Override public X foo() { return new X(); }\n" + 
				"	                   ^^^^^\n" + 
				"Name clash: The method foo() of type B has the same erasure as foo() of type X but does not override it\n" + 
				"----------\n" + 
				"4. ERROR in SubTypes.java (at line 5)\n" + 
				"	@Override public X foo() { return new X(); }\n" + 
				"	                   ^^^^^\n" + 
				"The method foo() of type B must override or implement a supertype method\n" + 
				"----------\n" + 
				"5. WARNING in SubTypes.java (at line 6)\n" + 
				"	@Override public B foo() { return this; }\n" + 
				"	                   ^^^^^\n" + 
				"Duplicate method foo() in type B\n" + 
				"----------\n" + 
				"6. ERROR in SubTypes.java (at line 9)\n" + 
				"	@Override public X foo() { return new X(); }\n" + 
				"	                 ^\n" + 
				"The return type is incompatible with A.foo()\n" + 
				"----------\n":
					"----------\n" +
					"1. ERROR in SubTypes.java (at line 5)\n" +
					"	@Override public X foo() { return new X(); }\n" +
					"	                   ^^^^^\n" +
					"Duplicate method foo() in type B\n" +
					"----------\n" +
					"2. ERROR in SubTypes.java (at line 6)\n" +
					"	@Override public B foo() { return this; }\n" +
					"	                   ^^^^^\n" +
					"Duplicate method foo() in type B\n" +
					"----------\n" +
					"3. ERROR in SubTypes.java (at line 9)\n" +
					"	@Override public X foo() { return new X(); }\n" +
					"	                 ^\n" +
					"The return type is incompatible with A.foo()\n" +
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"    @Override public X foo() { return new X(); }\n" +
				"}\n"
			},
			expectedCompilerLog);
			"1. ERROR in SubTypes.java (at line 5)\n" +
			"	@Override public X foo() { return new X(); }\n" +
			"	                   ^^^^^\n" +
			"Duplicate method foo() in type B\n" +
			"----------\n" +
			"2. ERROR in SubTypes.java (at line 6)\n" +
			"	@Override public B foo() { return this; }\n" +
			"	                   ^^^^^\n" +
			"Duplicate method foo() in type B\n" +
			"----------\n" +
			"3. ERROR in SubTypes.java (at line 9)\n" +
			"	@Override public X foo() { return new X(); }\n" +
			"	                 ^\n" +
			"The return type is incompatible with A.foo()\n" +
			"----------\n");
	}
	// generic method of raw type
	public void test0244() {

	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=87956
	public void test0561() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	void foo(A<String> a) {}\n" + 
				"	     ^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	Object foo(A<Integer> a) { return null; }\n" + 
				"	       ^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	void foo(A<String> a) {}\n" + 
					"	     ^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	Object foo(A<Integer> a) { return null; }\n" + 
					"	       ^^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	void test(A<Integer> a) { foo(a); }\n" + 
					"	                          ^^^\n" + 
					"The method foo(A<String>) in the type X is not applicable for the arguments (A<Integer>)\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"}\n" +
				"class A<T> {}\n",
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	void foo(A<String> a) {}\n" + 
			"	     ^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	Object foo(A<Integer> a) { return null; }\n" + 
			"	       ^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	void test(A<Integer> a) { foo(a); }\n" + 
			"	                          ^^^\n" + 
			"The method foo(A<String>) in the type X is not applicable for the arguments (A<Integer>)\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: foo(A<Integer>) and foo(A<String>) have the same erasure

  found: A<Integer>
2 errors
 */
		String expectedCompilerLog2 = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	Number foo(A<String> a) { return null; }\n" + 
				"	       ^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	Integer foo(A<Integer> a) { return null; }\n" + 
				"	        ^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	Number foo(A<String> a) { return null; }\n" + 
					"	       ^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	Integer foo(A<Integer> a) { return null; }\n" + 
					"	        ^^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	void test(A<Integer> a) { foo(a); }\n" + 
					"	                          ^^^\n" + 
					"The method foo(A<String>) in the type X is not applicable for the arguments (A<Integer>)\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"}\n" +
				"class A<T> {}\n",
			},
			expectedCompilerLog2
			"1. ERROR in X.java (at line 2)\n" + 
			"	Number foo(A<String> a) { return null; }\n" + 
			"	       ^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	Integer foo(A<Integer> a) { return null; }\n" + 
			"	        ^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	void test(A<Integer> a) { foo(a); }\n" + 
			"	                          ^^^\n" + 
			"The method foo(A<String>) in the type X is not applicable for the arguments (A<Integer>)\n" + 
			"----------\n"
/* javac 7
X.java:3: name clash: foo(A<Integer>) and foo(A<String>) have the same erasure
        Integer foo(A<Integer> a) { return null; }

	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423 - variation
	public void test0574() {
		// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 6)\n" + 
				"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
				"	           ^^^^^^^\n" + 
				"The type parameter T should not be bounded by the final type Integer. Final types cannot be further extended\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 6)\n" + 
				"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
				"	                      ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C2\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 7)\n" + 
				"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
				"	           ^^^^^^\n" + 
				"The type parameter T should not be bounded by the final type String. Final types cannot be further extended\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 7)\n" + 
				"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
				"	                     ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C2\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 10)\n" + 
				"	new X().new C2().foo((List<String>) null);\n" + 
				"	                 ^^^\n" + 
				"The method foo(Object) is ambiguous for the type X.C2\n" + 
				"----------\n":
					"----------\n" + 
					"1. WARNING in X.java (at line 6)\n" + 
					"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
					"	           ^^^^^^^\n" + 
					"The type parameter T should not be bounded by the final type Integer. Final types cannot be further extended\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 6)\n" + 
					"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
					"	                      ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C2\n" + 
					"----------\n" + 
					"3. WARNING in X.java (at line 7)\n" + 
					"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
					"	           ^^^^^^\n" + 
					"The type parameter T should not be bounded by the final type String. Final types cannot be further extended\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 7)\n" + 
					"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
					"	                     ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C2\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	}\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. WARNING in X.java (at line 6)\n" + 
			"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
			"	           ^^^^^^^\n" + 
			"The type parameter T should not be bounded by the final type Integer. Final types cannot be further extended\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 6)\n" + 
			"	<T extends Integer> T foo(Object o) {  return null; } // ok\n" + 
			"	                      ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C2\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 7)\n" + 
			"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
			"	           ^^^^^^\n" + 
			"The type parameter T should not be bounded by the final type String. Final types cannot be further extended\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 7)\n" + 
			"	<T extends String> T foo(Object o) {  return null; } // ok\n" + 
			"	                     ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C2\n" + 
			"----------\n"
		);
/*
X.java:6: name clash: <T#1>foo(Object) and <T#2>foo(Object) have the same erasure

}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=97219
public void test0706() {
	String outputExpectedBelow17 = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in X.java (at line 9)\n" + 
			"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
			"	                                 ^^^^^^\n" + 
			"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 9)\n" + 
				"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
				"	                                 ^^^^^^\n" + 
				"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"class CC {}\n",
		},
		(this.complianceLevel < ClassFileConstants.JDK1_7)
		? outputExpectedBelow17
		"1. ERROR in X.java (at line 9)\n" + 
		"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
		"	                                 ^^^^^^\n" + 
		"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
		"----------\n"
		: "----------\n" + 
		"1. ERROR in X.java (at line 4)\n" + 
		"	bb.<Object>test();\n" + 

//https://bugs.eclipse.org/bugs/show_bug.cgi?id=97219
public void test0706a() {
	// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. ERROR in X.java (at line 4)\n" + 
			"	AA<Object> res1 = bb.test();\n" + 
			"	                     ^^^^\n" + 
			"The method test() is ambiguous for the type BB\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 5)\n" + 
			"	AA res3 = bb.test();\n" + 
			"	^^\n" + 
			"AA is a raw type. References to generic type AA<T> should be parameterized\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 5)\n" + 
			"	AA res3 = bb.test();\n" + 
			"	             ^^^^\n" + 
			"The method test() is ambiguous for the type BB\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 9)\n" + 
			"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
			"	                                 ^^^^^^\n" + 
			"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 4)\n" + 
				"	AA<Object> res1 = bb.test();\n" + 
				"	                     ^^^^\n" + 
				"The method test() is ambiguous for the type BB\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 5)\n" + 
				"	AA res3 = bb.test();\n" + 
				"	^^\n" + 
				"AA is a raw type. References to generic type AA<T> should be parameterized\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	AA res3 = bb.test();\n" + 
				"	             ^^^^\n" + 
				"The method test() is ambiguous for the type BB\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 9)\n" + 
				"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
				"	                                 ^^^^^^\n" + 
				"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"class BB extends AA<CC> { <U> BB test() {return null;} }\n" +
			"class CC {}\n",
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 4)\n" + 
		"	AA<Object> res1 = bb.test();\n" + 
		"	                     ^^^^\n" + 
		"The method test() is ambiguous for the type BB\n" + 
		"----------\n" + 
		"2. WARNING in X.java (at line 5)\n" + 
		"	AA res3 = bb.test();\n" + 
		"	^^\n" + 
		"AA is a raw type. References to generic type AA<T> should be parameterized\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 5)\n" + 
		"	AA res3 = bb.test();\n" + 
		"	             ^^^^\n" + 
		"The method test() is ambiguous for the type BB\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 9)\n" + 
		"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
		"	                                 ^^^^^^\n" + 
		"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
		"----------\n"
	);
/*
X.java:4: reference to test is ambiguous, both method test() in AA and method <U>test() in BB match

//https://bugs.eclipse.org/bugs/show_bug.cgi?id=97219
public void test0706b() {
	// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. ERROR in X.java (at line 4)\n" + 
			"	AA<CC> res = bb.test();\n" + 
			"	                ^^^^\n" + 
			"The method test() is ambiguous for the type BB\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 5)\n" + 
			"	BB res2 = bb.test();\n" + 
			"	             ^^^^\n" + 
			"The method test() is ambiguous for the type BB\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 9)\n" + 
			"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
			"	                                 ^^^^^^\n" + 
			"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 4)\n" + 
				"	AA<CC> res = bb.test();\n" + 
				"	                ^^^^\n" + 
				"The method test() is ambiguous for the type BB\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 5)\n" + 
				"	BB res2 = bb.test();\n" + 
				"	             ^^^^\n" + 
				"The method test() is ambiguous for the type BB\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 9)\n" + 
				"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
				"	                                 ^^^^^^\n" + 
				"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"class BB extends AA<CC> { <U> BB test() {return null;} }\n" +
			"class CC {}\n",
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 4)\n" + 
		"	AA<CC> res = bb.test();\n" + 
		"	                ^^^^\n" + 
		"The method test() is ambiguous for the type BB\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 5)\n" + 
		"	BB res2 = bb.test();\n" + 
		"	             ^^^^\n" + 
		"The method test() is ambiguous for the type BB\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 9)\n" + 
		"	class BB extends AA<CC> { <U> BB test() {return null;} }\n" + 
		"	                                 ^^^^^^\n" + 
		"Name clash: The method test() of type BB has the same erasure as test() of type AA<T> but does not override it\n" + 
		"----------\n"
	);
/*
X.java:4: reference to test is ambiguous, both method test() in AA and method <U>test() in BB match

//https://bugs.eclipse.org/bugs/show_bug.cgi?id=100007
public void test0748() {
	// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in X.java (at line 5)\n" + 
			"	public byte[] create(Class<byte[]> cl) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method create(Class<byte[]>) of type X has the same erasure as create(Class<U>) of type Factory<T> but does not override it\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 5)\n" + 
				"	public byte[] create(Class<byte[]> cl) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method create(Class<byte[]>) of type X has the same erasure as create(Class<U>) of type Factory<T> but does not override it\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"	public byte[] create(Class<byte[]> cl) { return null; }\n" +
			"}\n",
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 5)\n" + 
		"	public byte[] create(Class<byte[]> cl) { return null; }\n" + 
		"	              ^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Name clash: The method create(Class<byte[]>) of type X has the same erasure as create(Class<U>) of type Factory<T> but does not override it\n" + 
		"----------\n"
	);
// javac 7 reports the name clash when X subclasses another class or is a concrete type
}

//https://bugs.eclipse.org/bugs/show_bug.cgi?id=204534
public void test1181() {
	// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. ERROR in X.java (at line 2)\n" + 
			"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
			"	                                                         ^\n" + 
			"Cannot specify any additional bound T when first bound is a type parameter\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 2)\n" + 
			"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
			"	                                                              ^^^^^^^^^^^^^^^^^^^\n" + 
			"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 3)\n" + 
			"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type safety: Unchecked cast from Object to R\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
			"	                                                         ^^^^^^^^^^\n" + 
			"Cannot specify any additional bound Comparable<S> when first bound is a type parameter\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 5)\n" + 
			"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
			"	                                                                          ^^^^^^^^^^^^^^^^^^^\n" + 
			"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
			"----------\n" + 
			"6. WARNING in X.java (at line 6)\n" + 
			"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type safety: Unchecked cast from Object to R\n" + 
			"----------\n" + 
			"7. WARNING in X.java (at line 8)\n" + 
			"	public static <T extends Comparable<S>, S, R extends Comparable<S>> R max(T arg1, S arg2) {\n" + 
			"	                                                                      ^^^^^^^^^^^^^^^^^^^\n" + 
			"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
			"----------\n" + 
			"8. WARNING in X.java (at line 9)\n" + 
			"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type safety: Unchecked cast from Object to R\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 2)\n" + 
				"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
				"	                                                         ^\n" + 
				"Cannot specify any additional bound T when first bound is a type parameter\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 2)\n" + 
				"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
				"	                                                              ^^^^^^^^^^^^^^^^^^^\n" + 
				"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 3)\n" + 
				"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Type safety: Unchecked cast from Object to R\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 5)\n" + 
				"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
				"	                                                         ^^^^^^^^^^\n" + 
				"Cannot specify any additional bound Comparable<S> when first bound is a type parameter\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 5)\n" + 
				"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
				"	                                                                          ^^^^^^^^^^^^^^^^^^^\n" + 
				"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
				"----------\n" + 
				"6. WARNING in X.java (at line 6)\n" + 
				"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Type safety: Unchecked cast from Object to R\n" + 
				"----------\n" + 
				"7. ERROR in X.java (at line 8)\n" + 
				"	public static <T extends Comparable<S>, S, R extends Comparable<S>> R max(T arg1, S arg2) {\n" + 
				"	                                                                      ^^^^^^^^^^^^^^^^^^^\n" + 
				"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
				"----------\n" + 
				"8. WARNING in X.java (at line 9)\n" + 
				"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Type safety: Unchecked cast from Object to R\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"	public static void main(String[] args) {}\n" +
			"}\n", // =================
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 2)\n" + 
		"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
		"	                                                         ^\n" + 
		"Cannot specify any additional bound T when first bound is a type parameter\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 2)\n" + 
		"	public static <S, T extends Comparable<S>, R extends S & T> R max(T arg1, S arg2) {\n" + 
		"	                                                              ^^^^^^^^^^^^^^^^^^^\n" + 
		"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
		"----------\n" + 
		"3. WARNING in X.java (at line 3)\n" + 
		"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked cast from Object to R\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 5)\n" + 
		"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
		"	                                                         ^^^^^^^^^^\n" + 
		"Cannot specify any additional bound Comparable<S> when first bound is a type parameter\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 5)\n" + 
		"	public static <T extends Comparable<S>, S, R extends S & Comparable<S>> R max(T arg1, S arg2) {\n" + 
		"	                                                                          ^^^^^^^^^^^^^^^^^^^\n" + 
		"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
		"----------\n" + 
		"6. WARNING in X.java (at line 6)\n" + 
		"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked cast from Object to R\n" + 
		"----------\n" + 
		"7. ERROR in X.java (at line 8)\n" + 
		"	public static <T extends Comparable<S>, S, R extends Comparable<S>> R max(T arg1, S arg2) {\n" + 
		"	                                                                      ^^^^^^^^^^^^^^^^^^^\n" + 
		"Method max(T, S) has the same erasure max(Comparable<T>, Object) as another method in type X\n" + 
		"----------\n" + 
		"8. WARNING in X.java (at line 9)\n" + 
		"	return (R) ((arg1.compareTo(arg2) > 0) ? arg1 : arg2);\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked cast from Object to R\n" + 
		"----------\n"
	);
/*
X.java:2: a type variable may not be followed by other bounds





public class MethodVerifyTest extends AbstractComparableTest {
	static {
//		TESTS_NAMES = new String[] { "testBug317719" };
//		TESTS_NUMBERS = new int[] { 213 };
//		TESTS_RANGE = new int[] { 190, -1};
	}


	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X1.java (at line 2)\n" + 
				"	public class X1 extends LinkedHashMap<String, String> {\n" + 
				"	             ^^\n" + 
				"The serializable class X1 does not declare a static final serialVersionUID field of type long\n" + 
				"----------\n" + 
				"2. WARNING in X1.java (at line 3)\n" + 
				"	public Object putAll(Map<String,String> a) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method putAll(Map<String,String>) of type X1 has the same erasure as putAll(Map<? extends K,? extends V>) of type HashMap<K,V> but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. WARNING in X1.java (at line 2)\n" + 
					"	public class X1 extends LinkedHashMap<String, String> {\n" + 
					"	             ^^\n" + 
					"The serializable class X1 does not declare a static final serialVersionUID field of type long\n" + 
					"----------\n" + 
					"2. ERROR in X1.java (at line 3)\n" + 
					"	public Object putAll(Map<String,String> a) { return null; }\n" + 
					"	              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method putAll(Map<String,String>) of type X1 has the same erasure as putAll(Map<? extends K,? extends V>) of type HashMap<K,V> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X1.java",

				"    public Object putAll(Map<String,String> a) { return null; }\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. WARNING in X1.java (at line 2)\n" + 
			"	public class X1 extends LinkedHashMap<String, String> {\n" + 
			"	             ^^\n" + 
			"The serializable class X1 does not declare a static final serialVersionUID field of type long\n" + 
			"----------\n" + 
			"2. ERROR in X1.java (at line 3)\n" + 
			"	public Object putAll(Map<String,String> a) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method putAll(Map<String,String>) of type X1 has the same erasure as putAll(Map<? extends K,? extends V>) of type HashMap<K,V> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:4: name clash: putAll(Map<String,String>) in X1 and putAll(Map<? extends K,? extends V>) in HashMap have the same erasure, yet neither overrides the other

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048a() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X2.java (at line 2)\n" + 
				"	public Object foo(I<String> z) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(I<String>) of type X2 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
				"----------\n":		
					"----------\n" + 
					"1. ERROR in X2.java (at line 2)\n" + 
					"	public Object foo(I<String> z) { return null; }\n" + 
					"	              ^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(I<String>) of type X2 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X2.java",

				"    public void foo(I<? extends T> a);\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X2.java (at line 2)\n" + 
			"	public Object foo(I<String> z) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(I<String>) of type X2 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:2: name clash: foo(I<String>) in X2 and foo(I<? extends T>) in Y have the same erasure, yet neither overrides the other

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048c() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X4.java (at line 2)\n" + 
				"	public String foo(I<String> z) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(I<String>) of type X4 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X4.java (at line 2)\n" + 
					"	public String foo(I<String> z) { return null; }\n" + 
					"	              ^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(I<String>) of type X4 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X4.java",

				"    public Object foo(I<? extends T> a);\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X4.java (at line 2)\n" + 
			"	public String foo(I<String> z) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(I<String>) of type X4 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:2: name clash: foo(I<String>) in X4 and foo(I<? extends T>) in Y have the same erasure, yet neither overrides the other

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048d() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X5.java (at line 2)\n" + 
				"	public Object foo(I<String> z) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(I<String>) of type X5 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X5.java (at line 2)\n" + 
					"	public Object foo(I<String> z) { return null; }\n" + 
					"	              ^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(I<String>) of type X5 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X5.java",

				"    public String foo(I<? extends T> a);\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X5.java (at line 2)\n" + 
			"	public Object foo(I<String> z) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(I<String>) of type X5 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:2: name clash: foo(I<String>) in X5 and foo(I<? extends T>) in Y have the

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048e() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X6.java (at line 2)\n" + 
				"	public void foo(I<String> z) {}\n" + 
				"	            ^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(I<String>) of type X6 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X6.java (at line 2)\n" + 
					"	public void foo(I<String> z) {}\n" + 
					"	            ^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(I<String>) of type X6 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X6.java",

				"    public Object foo(I<? extends T> a);\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X6.java (at line 2)\n" + 
			"	public void foo(I<String> z) {}\n" + 
			"	            ^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(I<String>) of type X6 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:2: name clash: foo(I<String>) in X6 and foo(I<? extends T>) in Y have the same erasure, yet neither overrides the other

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=85900
	public void test048f() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X7.java (at line 2)\n" + 
				"	public String foo(I<String> z) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(I<String>) of type X7 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X7.java (at line 2)\n" + 
					"	public String foo(I<String> z) { return null; }\n" + 
					"	              ^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(I<String>) of type X7 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X7.java",

				"    public T foo(I<? extends T> a);\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X7.java (at line 2)\n" + 
			"	public String foo(I<String> z) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(I<String>) of type X7 has the same erasure as foo(I<? extends T>) of type Y<T> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:2: name clash: foo(I<String>) in X7 and foo(I<? extends T>) in Y have the same erasure, yet neither overrides the other


	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=94754
	public void test050() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	public static <S extends A> S foo() { System.out.print(\"A\"); return null; }\n" + 
				"	                              ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
				"	                              ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 7)\n" + 
				"	new X().<B>foo();\n" + 
				"	^^^^^^^^^^^^^^^^\n" + 
				"The static method foo() from the type X should be accessed in a static way\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	public static <S extends A> S foo() { System.out.print(\"A\"); return null; }\n" + 
					"	                              ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
					"	                              ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 6)\n" + 
					"	X.<B>foo();\n" + 
					"	     ^^^\n" + 
					"Bound mismatch: The generic method foo() of type X is not applicable for the arguments (). The inferred type B is not a valid substitute for the bounded parameter <S extends A>\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 7)\n" + 
					"	new X().<B>foo();\n" + 
					"	           ^^^\n" + 
					"Bound mismatch: The generic method foo() of type X is not applicable for the arguments (). The inferred type B is not a valid substitute for the bounded parameter <S extends A>\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A {}\n" +
				"class B {}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	public static <S extends A> S foo() { System.out.print(\"A\"); return null; }\n" + 
			"	                              ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
			"	                              ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 6)\n" + 
			"	X.<B>foo();\n" + 
			"	     ^^^\n" + 
			"Bound mismatch: The generic method foo() of type X is not applicable for the arguments (). The inferred type B is not a valid substitute for the bounded parameter <S extends A>\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 7)\n" + 
			"	new X().<B>foo();\n" + 
			"	           ^^^\n" + 
			"Bound mismatch: The generic method foo() of type X is not applicable for the arguments (). The inferred type B is not a valid substitute for the bounded parameter <S extends A>\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <N>foo() and <S>foo() have the same erasure

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=94754
	public void test050a() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	public static <S extends A> void foo() { System.out.print(\"A\"); }\n" + 
				"	                                 ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
				"	                              ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	X.foo();\n" + 
				"	  ^^^\n" + 
				"The method foo() is ambiguous for the type X\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 6)\n" + 
				"	foo();\n" + 
				"	^^^\n" + 
				"The method foo() is ambiguous for the type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	public static <S extends A> void foo() { System.out.print(\"A\"); }\n" + 
					"	                                 ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
					"	                              ^^^^^\n" + 
					"Duplicate method foo() in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A {}\n" +
				"class B {}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	public static <S extends A> void foo() { System.out.print(\"A\"); }\n" + 
			"	                                 ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	public static <N extends B> N foo() { System.out.print(\"B\"); return null; }\n" + 
			"	                              ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <N>foo() and <S>foo() have the same erasure


	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423 - variation
	public void test050b() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 3)\n" + 
				"	Y foo(Object o) {  return null; } // duplicate\n" + 
				"	  ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C1\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 4)\n" + 
				"	Z foo(Object o) {  return null; } // duplicate\n" + 
				"	  ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C1\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 7)\n" + 
				"	<T extends Y> T foo(Object o) {  return null; } // duplicate\n" + 
				"	                ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C2\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 8)\n" + 
				"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
				"	                ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C2\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 11)\n" + 
				"	A<Y> foo(Object o) {  return null; } // duplicate\n" + 
				"	     ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C3\n" + 
				"----------\n" + 
				"6. ERROR in X.java (at line 12)\n" + 
				"	A<Z> foo(Object o) {  return null; } // duplicate\n" + 
				"	     ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C3\n" + 
				"----------\n" + 
				"7. WARNING in X.java (at line 15)\n" + 
				"	Y foo(Object o) {  return null; } // duplicate\n" + 
				"	  ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C4\n" + 
				"----------\n" + 
				"8. WARNING in X.java (at line 16)\n" + 
				"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
				"	                ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C4\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 3)\n" + 
					"	Y foo(Object o) {  return null; } // duplicate\n" + 
					"	  ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C1\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 4)\n" + 
					"	Z foo(Object o) {  return null; } // duplicate\n" + 
					"	  ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C1\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 7)\n" + 
					"	<T extends Y> T foo(Object o) {  return null; } // duplicate\n" + 
					"	                ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C2\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 8)\n" + 
					"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
					"	                ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C2\n" + 
					"----------\n" + 
					"5. ERROR in X.java (at line 11)\n" + 
					"	A<Y> foo(Object o) {  return null; } // duplicate\n" + 
					"	     ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C3\n" + 
					"----------\n" + 
					"6. ERROR in X.java (at line 12)\n" + 
					"	A<Z> foo(Object o) {  return null; } // duplicate\n" + 
					"	     ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C3\n" + 
					"----------\n" + 
					"7. ERROR in X.java (at line 15)\n" + 
					"	Y foo(Object o) {  return null; } // duplicate\n" + 
					"	  ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C4\n" + 
					"----------\n" + 
					"8. ERROR in X.java (at line 16)\n" + 
					"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
					"	                ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C4\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class Y {}\n" +
				"class Z {}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 3)\n" + 
			"	Y foo(Object o) {  return null; } // duplicate\n" + 
			"	  ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C1\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 4)\n" + 
			"	Z foo(Object o) {  return null; } // duplicate\n" + 
			"	  ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C1\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 7)\n" + 
			"	<T extends Y> T foo(Object o) {  return null; } // duplicate\n" + 
			"	                ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C2\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 8)\n" + 
			"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
			"	                ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C2\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 11)\n" + 
			"	A<Y> foo(Object o) {  return null; } // duplicate\n" + 
			"	     ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C3\n" + 
			"----------\n" + 
			"6. ERROR in X.java (at line 12)\n" + 
			"	A<Z> foo(Object o) {  return null; } // duplicate\n" + 
			"	     ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C3\n" + 
			"----------\n" + 
			"7. ERROR in X.java (at line 15)\n" + 
			"	Y foo(Object o) {  return null; } // duplicate\n" + 
			"	  ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C4\n" + 
			"----------\n" + 
			"8. ERROR in X.java (at line 16)\n" + 
			"	<T extends Z> T foo(Object o) {  return null; } // duplicate\n" + 
			"	                ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C4\n" + 
			"----------\n"
		);
/* javac 7
X.java:4: foo(Object) is already defined in X.C1

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423 - variation
	public void test050c() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	A<Y> foo(A<Y> o) {  return null; } // duplicate\n" + 
				"	     ^^^^^^^^^^^\n" + 
				"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	A<Z> foo(A<Z> o) {  return null; } // duplicate\n" + 
				"	     ^^^^^^^^^^^\n" + 
				"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 7)\n" + 
				"	<T extends Y> T foo(A<Y> o) {  return null; } // ok\n" + 
				"	                ^^^^^^^^^^^\n" + 
				"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 8)\n" + 
				"	<T extends Z> T foo(A<Z> o) {  return null; } // ok\n" + 
				"	                ^^^^^^^^^^^\n" + 
				"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 3)\n" + 
					"	A<Y> foo(A<Y> o) {  return null; } // duplicate\n" + 
					"	     ^^^^^^^^^^^\n" + 
					"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 4)\n" + 
					"	A<Z> foo(A<Z> o) {  return null; } // duplicate\n" + 
					"	     ^^^^^^^^^^^\n" + 
					"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 7)\n" + 
					"	<T extends Y> T foo(A<Y> o) {  return null; } // ok\n" + 
					"	                ^^^^^^^^^^^\n" + 
					"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 8)\n" + 
					"	<T extends Z> T foo(A<Z> o) {  return null; } // ok\n" + 
					"	                ^^^^^^^^^^^\n" + 
					"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class Y {}\n" +
				"class Z {}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 3)\n" + 
			"	A<Y> foo(A<Y> o) {  return null; } // duplicate\n" + 
			"	     ^^^^^^^^^^^\n" + 
			"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 4)\n" + 
			"	A<Z> foo(A<Z> o) {  return null; } // duplicate\n" + 
			"	     ^^^^^^^^^^^\n" + 
			"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C5\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 7)\n" + 
			"	<T extends Y> T foo(A<Y> o) {  return null; } // ok\n" + 
			"	                ^^^^^^^^^^^\n" + 
			"Method foo(A<Y>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 8)\n" + 
			"	<T extends Z> T foo(A<Z> o) {  return null; } // ok\n" + 
			"	                ^^^^^^^^^^^\n" + 
			"Method foo(A<Z>) has the same erasure foo(A<T>) as another method in type X.C6\n" + 
			"----------\n"
		);
/* javac 7
X.java:4: name clash: foo(A<Z>) and foo(A<Y>) have the same erasure

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423 - variation
	public void test050d() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 3)\n" + 
				"	<T extends Y, U> T foo(Object o) {  return null; } // ok\n" + 
				"	                   ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C7\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 4)\n" + 
				"	<T extends Z> T foo(Object o) {  return null; } // ok\n" + 
				"	                ^^^^^^^^^^^^^\n" + 
				"Duplicate method foo(Object) in type X.C7\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 3)\n" + 
					"	<T extends Y, U> T foo(Object o) {  return null; } // ok\n" + 
					"	                   ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C7\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 4)\n" + 
					"	<T extends Z> T foo(Object o) {  return null; } // ok\n" + 
					"	                ^^^^^^^^^^^^^\n" + 
					"Duplicate method foo(Object) in type X.C7\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class Y {}\n" +
				"class Z {}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 3)\n" + 
			"	<T extends Y, U> T foo(Object o) {  return null; } // ok\n" + 
			"	                   ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C7\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 4)\n" + 
			"	<T extends Z> T foo(Object o) {  return null; } // ok\n" + 
			"	                ^^^^^^^^^^^^^\n" + 
			"Duplicate method foo(Object) in type X.C7\n" + 
			"----------\n"
		);
/* javac 7
X.java:4: name clash: <T#1>foo(Object) and <T#2,U>foo(Object) have the same erasure


	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423
	public void test050e() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<N extends B> N a(A<String> s) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Method a(A<String>) has the same erasure a(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<N> Object a(A<Number> n) { return null; }\n" + 
				"	           ^^^^^^^^^^^^^^\n" + 
				"Method a(A<Number>) has the same erasure a(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	<N extends B> void b(A<String> s) {}\n" + 
				"	                   ^^^^^^^^^^^^^^\n" + 
				"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 5)\n" + 
				"	<N extends B> B b(A<Number> n) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"5. WARNING in X.java (at line 6)\n" + 
				"	void c(A<String> s) {}\n" + 
				"	     ^^^^^^^^^^^^^^\n" + 
				"Method c(A<String>) has the same erasure c(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"6. WARNING in X.java (at line 7)\n" + 
				"	B c(A<Number> n) { return null; }\n" + 
				"	  ^^^^^^^^^^^^^^\n" + 
				"Method c(A<Number>) has the same erasure c(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	<N extends B> N a(A<String> s) { return null; }\n" + 
					"	                ^^^^^^^^^^^^^^\n" + 
					"Method a(A<String>) has the same erasure a(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<N> Object a(A<Number> n) { return null; }\n" + 
					"	           ^^^^^^^^^^^^^^\n" + 
					"Method a(A<Number>) has the same erasure a(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	<N extends B> void b(A<String> s) {}\n" + 
					"	                   ^^^^^^^^^^^^^^\n" + 
					"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 5)\n" + 
					"	<N extends B> B b(A<Number> n) { return null; }\n" + 
					"	                ^^^^^^^^^^^^^^\n" + 
					"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"5. ERROR in X.java (at line 6)\n" + 
					"	void c(A<String> s) {}\n" + 
					"	     ^^^^^^^^^^^^^^\n" + 
					"Method c(A<String>) has the same erasure c(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"6. ERROR in X.java (at line 7)\n" + 
					"	B c(A<Number> n) { return null; }\n" + 
					"	  ^^^^^^^^^^^^^^\n" + 
					"Method c(A<Number>) has the same erasure c(A<T>) as another method in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A<T> {}\n" +
				"class B {}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	<N extends B> N a(A<String> s) { return null; }\n" + 
			"	                ^^^^^^^^^^^^^^\n" + 
			"Method a(A<String>) has the same erasure a(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<N> Object a(A<Number> n) { return null; }\n" + 
			"	           ^^^^^^^^^^^^^^\n" + 
			"Method a(A<Number>) has the same erasure a(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	<N extends B> void b(A<String> s) {}\n" + 
			"	                   ^^^^^^^^^^^^^^\n" + 
			"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	<N extends B> B b(A<Number> n) { return null; }\n" + 
			"	                ^^^^^^^^^^^^^^\n" + 
			"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 6)\n" + 
			"	void c(A<String> s) {}\n" + 
			"	     ^^^^^^^^^^^^^^\n" + 
			"Method c(A<String>) has the same erasure c(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"6. ERROR in X.java (at line 7)\n" + 
			"	B c(A<Number> n) { return null; }\n" + 
			"	  ^^^^^^^^^^^^^^\n" + 
			"Method c(A<Number>) has the same erasure c(A<T>) as another method in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <N#1>a(A<Number>) and <N#2>a(A<String>) have the same erasure


	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423
	public void test050i() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<N extends B> N a(A<Number> s) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<N> Object a(A<Number> n) { return null; }\n" + 
				"	           ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	<N extends B> N b(A<Number> s) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 5)\n" + 
				"	<N> Object b(A<String> n) { return null; }\n" + 
				"	           ^^^^^^^^^^^^^^\n" + 
				"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	<N extends B> N a(A<Number> s) { return null; }\n" + 
					"	                ^^^^^^^^^^^^^^\n" + 
					"Duplicate method a(A<Number>) in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<N> Object a(A<Number> n) { return null; }\n" + 
					"	           ^^^^^^^^^^^^^^\n" + 
					"Duplicate method a(A<Number>) in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	<N extends B> N b(A<Number> s) { return null; }\n" + 
					"	                ^^^^^^^^^^^^^^\n" + 
					"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 5)\n" + 
					"	<N> Object b(A<String> n) { return null; }\n" + 
					"	           ^^^^^^^^^^^^^^\n" + 
					"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A<T> {}\n" +
				"class B {}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	<N extends B> N a(A<Number> s) { return null; }\n" + 
			"	                ^^^^^^^^^^^^^^\n" + 
			"Duplicate method a(A<Number>) in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<N> Object a(A<Number> n) { return null; }\n" + 
			"	           ^^^^^^^^^^^^^^\n" + 
			"Duplicate method a(A<Number>) in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	<N extends B> N b(A<Number> s) { return null; }\n" + 
			"	                ^^^^^^^^^^^^^^\n" + 
			"Method b(A<Number>) has the same erasure b(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	<N> Object b(A<String> n) { return null; }\n" + 
			"	           ^^^^^^^^^^^^^^\n" + 
			"Method b(A<String>) has the same erasure b(A<T>) as another method in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <N#1>a(A<Number>) and <N#2>a(A<Number>) have the same erasure

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423
	public void test050k() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<N extends B> void a(A<Number> s) {}\n" + 
				"	                   ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<N extends B> B a(A<Number> n) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	<N extends B> Object b(A<Number> s) { return null; }\n" + 
				"	                     ^^^^^^^^^^^^^^\n" + 
				"Duplicate method b(A<Number>) in type X\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 5)\n" + 
				"	<N extends B> B b(A<Number> n) { return null; }\n" + 
				"	                ^^^^^^^^^^^^^^\n" + 
				"Duplicate method b(A<Number>) in type X\n" + 
				"----------\n":
					"----------\n" +
					"1. ERROR in X.java (at line 2)\n" +
					"	<N extends B> void a(A<Number> s) {}\n" +
					"	                   ^^^^^^^^^^^^^^\n" +
					"Duplicate method a(A<Number>) in type X\n" +
					"----------\n" +
					"2. ERROR in X.java (at line 3)\n" +
					"	<N extends B> B a(A<Number> n) { return null; }\n" +
					"	                ^^^^^^^^^^^^^^\n" +
					"Duplicate method a(A<Number>) in type X\n" +
					"----------\n" +
					"3. ERROR in X.java (at line 4)\n" +
					"	<N extends B> Object b(A<Number> s) { return null; }\n" +
					"	                     ^^^^^^^^^^^^^^\n" +
					"Duplicate method b(A<Number>) in type X\n" +
					"----------\n" +
					"4. ERROR in X.java (at line 5)\n" +
					"	<N extends B> B b(A<Number> n) { return null; }\n" +
					"	                ^^^^^^^^^^^^^^\n" +
					"Duplicate method b(A<Number>) in type X\n" +
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A<T> {}\n" +
				"class B {}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" +
			"	<N extends B> void a(A<Number> s) {}\n" +
			"	                   ^^^^^^^^^^^^^^\n" +
			"Duplicate method a(A<Number>) in type X\n" +
			"----------\n" +
			"2. ERROR in X.java (at line 3)\n" +
			"	<N extends B> B a(A<Number> n) { return null; }\n" +
			"	                ^^^^^^^^^^^^^^\n" +
			"Duplicate method a(A<Number>) in type X\n" +
			"----------\n" +
			"3. ERROR in X.java (at line 4)\n" +
			"	<N extends B> Object b(A<Number> s) { return null; }\n" +
			"	                     ^^^^^^^^^^^^^^\n" +
			"Duplicate method b(A<Number>) in type X\n" +
			"----------\n" +
			"4. ERROR in X.java (at line 5)\n" +
			"	<N extends B> B b(A<Number> n) { return null; }\n" +
			"	                ^^^^^^^^^^^^^^\n" +
			"Duplicate method b(A<Number>) in type X\n" +
			"----------\n"
		);
/* javac 7
X.java:3: <N>a(A<Number>) is already defined in X

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=90423
	public void test050l() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	void a(A<Number> s) {}\n" + 
				"	     ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	B a(A<Number> n) { return null; }\n" + 
				"	  ^^^^^^^^^^^^^^\n" + 
				"Duplicate method a(A<Number>) in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	Object b(A<Number> s) {}\n" + 
				"	       ^^^^^^^^^^^^^^\n" + 
				"Duplicate method b(A<Number>) in type X\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 4)\n" + 
				"	Object b(A<Number> s) {}\n" + 
				"	       ^^^^^^^^^^^^^^\n" + 
				"This method must return a result of type Object\n" + 
				"----------\n" + 
				"5. WARNING in X.java (at line 5)\n" + 
				"	B b(A<Number> n) { return null; }\n" + 
				"	  ^^^^^^^^^^^^^^\n" + 
				"Duplicate method b(A<Number>) in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	void a(A<Number> s) {}\n" + 
					"	     ^^^^^^^^^^^^^^\n" + 
					"Duplicate method a(A<Number>) in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	B a(A<Number> n) { return null; }\n" + 
					"	  ^^^^^^^^^^^^^^\n" + 
					"Duplicate method a(A<Number>) in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	Object b(A<Number> s) {}\n" + 
					"	       ^^^^^^^^^^^^^^\n" + 
					"Duplicate method b(A<Number>) in type X\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 4)\n" + 
					"	Object b(A<Number> s) {}\n" + 
					"	       ^^^^^^^^^^^^^^\n" + 
					"This method must return a result of type Object\n" + 
					"----------\n" + 
					"5. ERROR in X.java (at line 5)\n" + 
					"	B b(A<Number> n) { return null; }\n" + 
					"	  ^^^^^^^^^^^^^^\n" + 
					"Duplicate method b(A<Number>) in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"class A<T> {}\n" +
				"class B {}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" +
			"	void a(A<Number> s) {}\n" +
			"	     ^^^^^^^^^^^^^^\n" +
			"Duplicate method a(A<Number>) in type X\n" +
			"----------\n" +
			"2. ERROR in X.java (at line 3)\n" +
			"	B a(A<Number> n) { return null; }\n" +
			"	  ^^^^^^^^^^^^^^\n" +
			"Duplicate method a(A<Number>) in type X\n" +
			"----------\n" +
			"3. ERROR in X.java (at line 4)\n" +
			"	Object b(A<Number> s) {}\n" +
			"	       ^^^^^^^^^^^^^^\n" +
			"Duplicate method b(A<Number>) in type X\n" +
			"----------\n" +
			"4. ERROR in X.java (at line 5)\n" +
			"	B b(A<Number> n) { return null; }\n" +
			"	  ^^^^^^^^^^^^^^\n" +
			"Duplicate method b(A<Number>) in type X\n" +
			"----------\n"
		);
/* javac 7
X.java:3: a(A<Number>) is already defined in X

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=89470
	public void test051b() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	void foo(A<String> a) {}\n" + 
				"	     ^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	Object foo(A<Integer> a) { return null; }\n" + 
				"	       ^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	void foo(A<String> a) {}\n" + 
					"	     ^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	Object foo(A<Integer> a) { return null; }\n" + 
					"	       ^^^^^^^^^^^^^^^^^\n" + 
					"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"}\n" +
				"class A<T> {}\n",
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	void foo(A<String> a) {}\n" + 
			"	     ^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<String>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	Object foo(A<Integer> a) { return null; }\n" + 
			"	       ^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(A<Integer>) has the same erasure foo(A<T>) as another method in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: foo(A<Integer>) and foo(A<String>) have the same erasure


	// more duplicate tests, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=94897
	public void test054() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	void a(Object x) {}\n" + 
				"	     ^^^^^^^^^^^\n" + 
				"Method a(Object) has the same erasure a(Object) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<T> T a(T x) {  return null; }\n" + 
				"	      ^^^^^^\n" + 
				"Method a(T) has the same erasure a(Object) as another method in type X\n" + 
				"----------\n":
					"----------\n" +
					"1. ERROR in X.java (at line 2)\n" +
					"	void a(Object x) {}\n" +
					"	     ^^^^^^^^^^^\n" +
					"Method a(Object) has the same erasure a(Object) as another method in type X\n" +
					"----------\n" +
					"2. ERROR in X.java (at line 3)\n" +
					"	<T> T a(T x) {  return null; }\n" +
					"	      ^^^^^^\n" +
					"Method a(T) has the same erasure a(Object) as another method in type X\n" +
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	<T> T a(T x) {  return null; }\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" +
			"	void a(Object x) {}\n" +
			"	     ^^^^^^^^^^^\n" +
			"Method a(Object) has the same erasure a(Object) as another method in type X\n" +
			"----------\n" +
			"2. ERROR in X.java (at line 3)\n" +
			"	<T> T a(T x) {  return null; }\n" +
			"	      ^^^^^^\n" +
			"Method a(T) has the same erasure a(Object) as another method in type X\n" +
			"----------\n"
		);
/* javac 7
X.java:3: a(Object) is already defined in X

	}
	// more duplicate tests, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=94897
	public void test054a() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<T1, T2> String aaa(X x) {  return null; }\n" + 
				"	                ^^^^^^^^\n" + 
				"Method aaa(X) has the same erasure aaa(X) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<T extends X> T aaa(T x) {  return null; }\n" + 
				"	                ^^^^^^^^\n" + 
				"Method aaa(T) has the same erasure aaa(X) as another method in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	<T> String aa(X x) {  return null; }\n" + 
				"	           ^^^^^^^\n" + 
				"Method aa(X) has the same erasure aa(X) as another method in type X\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 5)\n" + 
				"	<T extends X> T aa(T x) {  return null; }\n" + 
				"	                ^^^^^^^\n" + 
				"Method aa(T) has the same erasure aa(X) as another method in type X\n" + 
				"----------\n" + 
				"5. WARNING in X.java (at line 6)\n" + 
				"	String a(X x) {  return null; }\n" + 
				"	       ^^^^^^\n" + 
				"Method a(X) has the same erasure a(X) as another method in type X\n" + 
				"----------\n" + 
				"6. WARNING in X.java (at line 7)\n" + 
				"	<T extends X> T a(T x) {  return null; }\n" + 
				"	                ^^^^^^\n" + 
				"Method a(T) has the same erasure a(X) as another method in type X\n" + 
				"----------\n" + 
				"7. WARNING in X.java (at line 8)\n" + 
				"	<T> String z(X x) { return null; }\n" + 
				"	           ^^^^^^\n" + 
				"Duplicate method z(X) in type X\n" + 
				"----------\n" + 
				"8. WARNING in X.java (at line 9)\n" + 
				"	<T, S> Object z(X x) { return null; }\n" + 
				"	              ^^^^^^\n" + 
				"Duplicate method z(X) in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	<T1, T2> String aaa(X x) {  return null; }\n" + 
					"	                ^^^^^^^^\n" + 
					"Method aaa(X) has the same erasure aaa(X) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<T extends X> T aaa(T x) {  return null; }\n" + 
					"	                ^^^^^^^^\n" + 
					"Method aaa(T) has the same erasure aaa(X) as another method in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	<T> String aa(X x) {  return null; }\n" + 
					"	           ^^^^^^^\n" + 
					"Method aa(X) has the same erasure aa(X) as another method in type X\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 5)\n" + 
					"	<T extends X> T aa(T x) {  return null; }\n" + 
					"	                ^^^^^^^\n" + 
					"Method aa(T) has the same erasure aa(X) as another method in type X\n" + 
					"----------\n" + 
					"5. ERROR in X.java (at line 6)\n" + 
					"	String a(X x) {  return null; }\n" + 
					"	       ^^^^^^\n" + 
					"Method a(X) has the same erasure a(X) as another method in type X\n" + 
					"----------\n" + 
					"6. ERROR in X.java (at line 7)\n" + 
					"	<T extends X> T a(T x) {  return null; }\n" + 
					"	                ^^^^^^\n" + 
					"Method a(T) has the same erasure a(X) as another method in type X\n" + 
					"----------\n" + 
					"7. ERROR in X.java (at line 8)\n" + 
					"	<T> String z(X x) { return null; }\n" + 
					"	           ^^^^^^\n" + 
					"Duplicate method z(X) in type X\n" + 
					"----------\n" + 
					"8. ERROR in X.java (at line 9)\n" + 
					"	<T, S> Object z(X x) { return null; }\n" + 
					"	              ^^^^^^\n" + 
					"Duplicate method z(X) in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	<T, S> Object z(X x) { return null; }\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	<T1, T2> String aaa(X x) {  return null; }\n" + 
			"	                ^^^^^^^^\n" + 
			"Method aaa(X) has the same erasure aaa(X) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<T extends X> T aaa(T x) {  return null; }\n" + 
			"	                ^^^^^^^^\n" + 
			"Method aaa(T) has the same erasure aaa(X) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	<T> String aa(X x) {  return null; }\n" + 
			"	           ^^^^^^^\n" + 
			"Method aa(X) has the same erasure aa(X) as another method in type X\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	<T extends X> T aa(T x) {  return null; }\n" + 
			"	                ^^^^^^^\n" + 
			"Method aa(T) has the same erasure aa(X) as another method in type X\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 6)\n" + 
			"	String a(X x) {  return null; }\n" + 
			"	       ^^^^^^\n" + 
			"Method a(X) has the same erasure a(X) as another method in type X\n" + 
			"----------\n" + 
			"6. ERROR in X.java (at line 7)\n" + 
			"	<T extends X> T a(T x) {  return null; }\n" + 
			"	                ^^^^^^\n" + 
			"Method a(T) has the same erasure a(X) as another method in type X\n" + 
			"----------\n" + 
			"7. ERROR in X.java (at line 8)\n" + 
			"	<T> String z(X x) { return null; }\n" + 
			"	           ^^^^^^\n" + 
			"Duplicate method z(X) in type X\n" + 
			"----------\n" + 
			"8. ERROR in X.java (at line 9)\n" + 
			"	<T, S> Object z(X x) { return null; }\n" + 
			"	              ^^^^^^\n" + 
			"Duplicate method z(X) in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <T>aaa(T) and <T1,T2>aaa(X) have the same erasure

	}
	// more duplicate tests, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=94897
	public void test054b() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	Object foo(X<T> t) { return null; }\n" + 
				"	       ^^^^^^^^^^^\n" + 
				"Duplicate method foo(X<T>) in type X<T>\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<S> String foo(X<T> s) { return null; }\n" + 
				"	           ^^^^^^^^^^^\n" + 
				"Duplicate method foo(X<T>) in type X<T>\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	Object foo(X<T> t) { return null; }\n" + 
					"	       ^^^^^^^^^^^\n" + 
					"Duplicate method foo(X<T>) in type X<T>\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<S> String foo(X<T> s) { return null; }\n" + 
					"	           ^^^^^^^^^^^\n" + 
					"Duplicate method foo(X<T>) in type X<T>\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"		 <S> String foo(X<T> s) { return null; }\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	Object foo(X<T> t) { return null; }\n" + 
			"	       ^^^^^^^^^^^\n" + 
			"Duplicate method foo(X<T>) in type X<T>\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<S> String foo(X<T> s) { return null; }\n" + 
			"	           ^^^^^^^^^^^\n" + 
			"Duplicate method foo(X<T>) in type X<T>\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <S>foo(X<T>) and foo(X<T>) have the same erasure

	}
	// more duplicate tests, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=94897
	public void test054c() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<T1 extends X<T1>> void dupT() {}\n" + 
				"	                        ^^^^^^\n" + 
				"Duplicate method dupT() in type X<T>\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<T2 extends X<T2>> Object dupT() {return null;}\n" + 
				"	                          ^^^^^^\n" + 
				"Duplicate method dupT() in type X<T>\n" + 
				"----------\n":
					"----------\n" +
					"1. ERROR in X.java (at line 2)\n" +
					"	<T1 extends X<T1>> void dupT() {}\n" +
					"	                        ^^^^^^\n" +
					"Duplicate method dupT() in type X<T>\n" +
					"----------\n" +
					"2. ERROR in X.java (at line 3)\n" +
					"	<T2 extends X<T2>> Object dupT() {return null;}\n" +
					"	                          ^^^^^^\n" +
					"Duplicate method dupT() in type X<T>\n" +
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"		<T2 extends X<T2>> Object dupT() {return null;}\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" +
			"	<T1 extends X<T1>> void dupT() {}\n" +
			"	                        ^^^^^^\n" +
			"Duplicate method dupT() in type X<T>\n" +
			"----------\n" +
			"2. ERROR in X.java (at line 3)\n" +
			"	<T2 extends X<T2>> Object dupT() {return null;}\n" +
			"	                          ^^^^^^\n" +
			"Duplicate method dupT() in type X<T>\n" +
			"----------\n"
		);
/* javac 7
X.java:3: <T1>dupT() is already defined in X

	}
	// more duplicate tests, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=94897
	public void test054d() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 2)\n" + 
				"	<T> T a(A<T> t) {return null;}\n" + 
				"	      ^^^^^^^^^\n" + 
				"Method a(A<T>) has the same erasure a(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	<T> String a(A<Object> o) {return null;}\n" + 
				"	           ^^^^^^^^^^^^^^\n" + 
				"Method a(A<Object>) has the same erasure a(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	<T> T aa(A<T> t) {return null;}\n" + 
				"	      ^^^^^^^^^^\n" + 
				"Method aa(A<T>) has the same erasure aa(A<T>) as another method in type X\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 5)\n" + 
				"	String aa(A<Object> o) {return null;}\n" + 
				"	       ^^^^^^^^^^^^^^^\n" + 
				"Method aa(A<Object>) has the same erasure aa(A<T>) as another method in type X\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 2)\n" + 
					"	<T> T a(A<T> t) {return null;}\n" + 
					"	      ^^^^^^^^^\n" + 
					"Method a(A<T>) has the same erasure a(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 3)\n" + 
					"	<T> String a(A<Object> o) {return null;}\n" + 
					"	           ^^^^^^^^^^^^^^\n" + 
					"Method a(A<Object>) has the same erasure a(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 4)\n" + 
					"	<T> T aa(A<T> t) {return null;}\n" + 
					"	      ^^^^^^^^^^\n" + 
					"Method aa(A<T>) has the same erasure aa(A<T>) as another method in type X\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 5)\n" + 
					"	String aa(A<Object> o) {return null;}\n" + 
					"	       ^^^^^^^^^^^^^^^\n" + 
					"Method aa(A<Object>) has the same erasure aa(A<T>) as another method in type X\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"}\n" +
				"class A<T> {}\n",
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 2)\n" + 
			"	<T> T a(A<T> t) {return null;}\n" + 
			"	      ^^^^^^^^^\n" + 
			"Method a(A<T>) has the same erasure a(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 3)\n" + 
			"	<T> String a(A<Object> o) {return null;}\n" + 
			"	           ^^^^^^^^^^^^^^\n" + 
			"Method a(A<Object>) has the same erasure a(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 4)\n" + 
			"	<T> T aa(A<T> t) {return null;}\n" + 
			"	      ^^^^^^^^^^\n" + 
			"Method aa(A<T>) has the same erasure aa(A<T>) as another method in type X\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	String aa(A<Object> o) {return null;}\n" + 
			"	       ^^^^^^^^^^^^^^^\n" + 
			"Method aa(A<Object>) has the same erasure aa(A<T>) as another method in type X\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: name clash: <T#1>a(A<Object>) and <T#2>a(A<T#2>) have the same erasure

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=94898
	public void test058a() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	new X<Object>().foo(\"X\");\n" + 
				"	                ^^^\n" + 
				"The method foo(String) is ambiguous for the type X<Object>\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	new X<Object>().foo2(\"X\");\n" + 
				"	                ^^^^\n" + 
				"The method foo2(String) is ambiguous for the type X<Object>\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 6)\n" + 
				"	<T> T foo(T t) {return null;}\n" + 
				"	      ^^^^^^^^\n" + 
				"Method foo(T) has the same erasure foo(Object) as another method in type X<A>\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 7)\n" + 
				"	void foo(A a) {}\n" + 
				"	     ^^^^^^^^\n" + 
				"Method foo(A) has the same erasure foo(Object) as another method in type X<A>\n" + 
				"----------\n" + 
				"5. WARNING in X.java (at line 8)\n" + 
				"	<T> T foo2(T t) {return null;}\n" + 
				"	      ^^^^^^^^^\n" + 
				"Method foo2(T) has the same erasure foo2(Object) as another method in type X<A>\n" + 
				"----------\n" + 
				"6. WARNING in X.java (at line 9)\n" + 
				"	<T> void foo2(A a) {}\n" + 
				"	         ^^^^^^^^^\n" + 
				"Method foo2(A) has the same erasure foo2(Object) as another method in type X<A>\n" + 
				"----------\n":
					"----------\n" + 
					"1. ERROR in X.java (at line 6)\n" + 
					"	<T> T foo(T t) {return null;}\n" + 
					"	      ^^^^^^^^\n" + 
					"Method foo(T) has the same erasure foo(Object) as another method in type X<A>\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 7)\n" + 
					"	void foo(A a) {}\n" + 
					"	     ^^^^^^^^\n" + 
					"Method foo(A) has the same erasure foo(Object) as another method in type X<A>\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 8)\n" + 
					"	<T> T foo2(T t) {return null;}\n" + 
					"	      ^^^^^^^^^\n" + 
					"Method foo2(T) has the same erasure foo2(Object) as another method in type X<A>\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 9)\n" + 
					"	<T> void foo2(A a) {}\n" + 
					"	         ^^^^^^^^^\n" + 
					"Method foo2(A) has the same erasure foo2(Object) as another method in type X<A>\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	<T> void foo2(A a) {}\n" +
				"}\n"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 6)\n" + 
			"	<T> T foo(T t) {return null;}\n" + 
			"	      ^^^^^^^^\n" + 
			"Method foo(T) has the same erasure foo(Object) as another method in type X<A>\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 7)\n" + 
			"	void foo(A a) {}\n" + 
			"	     ^^^^^^^^\n" + 
			"Method foo(A) has the same erasure foo(Object) as another method in type X<A>\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 8)\n" + 
			"	<T> T foo2(T t) {return null;}\n" + 
			"	      ^^^^^^^^^\n" + 
			"Method foo2(T) has the same erasure foo2(Object) as another method in type X<A>\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 9)\n" + 
			"	<T> void foo2(A a) {}\n" + 
			"	         ^^^^^^^^^\n" + 
			"Method foo2(A) has the same erasure foo2(Object) as another method in type X<A>\n" + 
			"----------\n"
		);
/* javac 7
X.java:7: name clash: foo(A) and <T>foo(T) have the same erasure

	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=94898
	public void test058b() {
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	new X<Object>().foo(\"X\");\n" + 
				"	                ^^^\n" + 
				"The method foo(String) is ambiguous for the type X<Object>\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	new X<Object>().foo2(\"X\");\n" + 
				"	                ^^^^\n" + 
				"The method foo2(String) is ambiguous for the type X<Object>\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 6)\n" + 
				"	<T> T foo(T t) {return null;}\n" + 
				"	      ^^^^^^^^\n" + 
				"Name clash: The method foo(T) of type X<A> has the same erasure as foo(A) of type Y<A> but does not override it\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 7)\n" + 
				"	<T> T foo2(T t) {return null;}\n" + 
				"	      ^^^^^^^^^\n" + 
				"Name clash: The method foo2(T) of type X<A> has the same erasure as foo2(A) of type Y<A> but does not override it\n" + 
				"----------\n":
					"----------\n" +
					"1. ERROR in X.java (at line 3)\n" + 
					"	new X<Object>().foo(\"X\");\n" + 
					"	                ^^^\n" + 
					"The method foo(String) is ambiguous for the type X<Object>\n" + 
					"----------\n" + 
					"2. ERROR in X.java (at line 4)\n" + 
					"	new X<Object>().foo2(\"X\");\n" + 
					"	                ^^^^\n" + 
					"The method foo2(String) is ambiguous for the type X<Object>\n" + 
					"----------\n" + 
					"3. ERROR in X.java (at line 6)\n" + 
					"	<T> T foo(T t) {return null;}\n" + 
					"	      ^^^^^^^^\n" + 
					"Name clash: The method foo(T) of type X<A> has the same erasure as foo(A) of type Y<A> but does not override it\n" + 
					"----------\n" + 
					"4. ERROR in X.java (at line 7)\n" + 
					"	<T> T foo2(T t) {return null;}\n" + 
					"	      ^^^^^^^^^\n" + 
					"Name clash: The method foo2(T) of type X<A> has the same erasure as foo2(A) of type Y<A> but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	<T> void foo2(A a) {}\n" +
				"}"
			},
			expectedCompilerLog
			"1. ERROR in X.java (at line 3)\n" + 
			"	new X<Object>().foo(\"X\");\n" + 
			"	                ^^^\n" + 
			"The method foo(String) is ambiguous for the type X<Object>\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 4)\n" + 
			"	new X<Object>().foo2(\"X\");\n" + 
			"	                ^^^^\n" + 
			"The method foo2(String) is ambiguous for the type X<Object>\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 6)\n" + 
			"	<T> T foo(T t) {return null;}\n" + 
			"	      ^^^^^^^^\n" + 
			"Name clash: The method foo(T) of type X<A> has the same erasure as foo(A) of type Y<A> but does not override it\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 7)\n" + 
			"	<T> T foo2(T t) {return null;}\n" + 
			"	      ^^^^^^^^^\n" + 
			"Name clash: The method foo2(T) of type X<A> has the same erasure as foo2(A) of type Y<A> but does not override it\n" + 
			"----------\n"
		);
/* javac 7
X.java:3: reference to foo is ambiguous, both method foo(A) in Y and method <T>foo(T) in X match


// name conflict
public void test101() {
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	Integer getX(List<Integer> l) {\n" + 
			"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method getX(List<Integer>) has the same erasure getX(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 6)\n" + 
			"	String getX(List<String> l) {\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method getX(List<String>) has the same erasure getX(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 11)\n" + 
			"	Integer getX(List<Integer> l) {\n" + 
			"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Duplicate method getX(List<Integer>) in type Y\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 14)\n" + 
			"	String getX(List<Integer> l) {\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Duplicate method getX(List<Integer>) in type Y\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	Integer getX(List<Integer> l) {\n" + 
				"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method getX(List<Integer>) has the same erasure getX(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 6)\n" + 
				"	String getX(List<String> l) {\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method getX(List<String>) has the same erasure getX(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 11)\n" + 
				"	Integer getX(List<Integer> l) {\n" + 
				"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Duplicate method getX(List<Integer>) in type Y\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 14)\n" + 
				"	String getX(List<Integer> l) {\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Duplicate method getX(List<Integer>) in type Y\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"    }\n" +
			"}"
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 3)\n" + 
		"	Integer getX(List<Integer> l) {\n" + 
		"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method getX(List<Integer>) has the same erasure getX(List<E>) as another method in type X\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 6)\n" + 
		"	String getX(List<String> l) {\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method getX(List<String>) has the same erasure getX(List<E>) as another method in type X\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 11)\n" + 
		"	Integer getX(List<Integer> l) {\n" + 
		"	        ^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Duplicate method getX(List<Integer>) in type Y\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 14)\n" + 
		"	String getX(List<Integer> l) {\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Duplicate method getX(List<Integer>) in type Y\n" + 
		"----------\n"
	);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=159973

}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=202830
public void test120a() {
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
			"----------\n" + 
			"1. WARNING in Bar.java (at line 2)\n" + 
			"	int getThing(V v) { return 1; }\n" + 
			"	    ^^^^^^^^^^^^^\n" + 
			"Method getThing(V) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
			"----------\n" + 
			"2. WARNING in Bar.java (at line 3)\n" + 
			"	boolean getThing(E e) { return true; }\n" + 
			"	        ^^^^^^^^^^^^^\n" + 
			"Method getThing(E) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in Bar.java (at line 2)\n" + 
				"	int getThing(V v) { return 1; }\n" + 
				"	    ^^^^^^^^^^^^^\n" + 
				"Method getThing(V) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
				"----------\n" + 
				"2. ERROR in Bar.java (at line 3)\n" + 
				"	boolean getThing(E e) { return true; }\n" + 
				"	        ^^^^^^^^^^^^^\n" + 
				"Method getThing(E) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"Bar.java",

			"}\n" +
			"public class Bar<V,E> extends Foo<V,E> {}"
		},
		expectedCompilerLog
		"1. ERROR in Bar.java (at line 2)\n" + 
		"	int getThing(V v) { return 1; }\n" + 
		"	    ^^^^^^^^^^^^^\n" + 
		"Method getThing(V) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
		"----------\n" + 
		"2. ERROR in Bar.java (at line 3)\n" + 
		"	boolean getThing(E e) { return true; }\n" + 
		"	        ^^^^^^^^^^^^^\n" + 
		"Method getThing(E) has the same erasure getThing(Object) as another method in type Foo<V,E>\n" + 
		"----------\n"
	);
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=173477

// JDK7 (7b100) behavior. (earlier we would issue an extra name clash)
public void test177() {
	if (new CompilerOptions(getCompilerOptions()).complianceLevel >= ClassFileConstants.JDK1_6) { // see test187()
		String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
				"----------\n" + 
				"1. WARNING in X.java (at line 3)\n" + 
				"	class A extends LinkedHashMap {\n" + 
				"	      ^\n" + 
				"The serializable class A does not declare a static final serialVersionUID field of type long\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	class A extends LinkedHashMap {\n" + 
				"	                ^^^^^^^^^^^^^\n" + 
				"LinkedHashMap is a raw type. References to generic type LinkedHashMap<K,V> should be parameterized\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 4)\n" + 
				"	public A foo(Collection c) { return this; }\n" + 
				"	             ^^^^^^^^^^\n" + 
				"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
				"----------\n" + 
				"4. WARNING in X.java (at line 6)\n" + 
				"	class X extends A implements I {\n" + 
				"	      ^\n" + 
				"The serializable class X does not declare a static final serialVersionUID field of type long\n" + 
				"----------\n" + 
				"5. WARNING in X.java (at line 7)\n" + 
				"	@Override public X foo(Collection<?> c) { return this; }\n" + 
				"	                   ^^^^^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method foo(Collection<?>) of type X has the same erasure as foo(Collection) of type A but does not override it\n" + 
				"----------\n":
					"----------\n" + 
					"1. WARNING in X.java (at line 3)\n" + 
					"	class A extends LinkedHashMap {\n" + 
					"	      ^\n" + 
					"The serializable class A does not declare a static final serialVersionUID field of type long\n" + 
					"----------\n" + 
					"2. WARNING in X.java (at line 3)\n" + 
					"	class A extends LinkedHashMap {\n" + 
					"	                ^^^^^^^^^^^^^\n" + 
					"LinkedHashMap is a raw type. References to generic type LinkedHashMap<K,V> should be parameterized\n" + 
					"----------\n" + 
					"3. WARNING in X.java (at line 4)\n" + 
					"	public A foo(Collection c) { return this; }\n" + 
					"	             ^^^^^^^^^^\n" + 
					"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
					"----------\n" + 
					"4. WARNING in X.java (at line 6)\n" + 
					"	class X extends A implements I {\n" + 
					"	      ^\n" + 
					"The serializable class X does not declare a static final serialVersionUID field of type long\n" + 
					"----------\n" + 
					"5. ERROR in X.java (at line 7)\n" + 
					"	@Override public X foo(Collection<?> c) { return this; }\n" + 
					"	                   ^^^^^^^^^^^^^^^^^^^^\n" + 
					"Name clash: The method foo(Collection<?>) of type X has the same erasure as foo(Collection) of type A but does not override it\n" + 
					"----------\n";
		this.runNegativeTest(
			new String[] {
				"X.java",

				"	@Override public X foo(Collection<?> c) { return this; }\n" +
				"}"
			},
			expectedCompilerLog
			"1. WARNING in X.java (at line 3)\n" + 
			"	class A extends LinkedHashMap {\n" + 
			"	      ^\n" + 
			"The serializable class A does not declare a static final serialVersionUID field of type long\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 3)\n" + 
			"	class A extends LinkedHashMap {\n" + 
			"	                ^^^^^^^^^^^^^\n" + 
			"LinkedHashMap is a raw type. References to generic type LinkedHashMap<K,V> should be parameterized\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 4)\n" + 
			"	public A foo(Collection c) { return this; }\n" + 
			"	             ^^^^^^^^^^\n" + 
			"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 6)\n" + 
			"	class X extends A implements I {\n" + 
			"	      ^\n" + 
			"The serializable class X does not declare a static final serialVersionUID field of type long\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 7)\n" + 
			"	@Override public X foo(Collection<?> c) { return this; }\n" + 
			"	                   ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(Collection<?>) of type X has the same erasure as foo(Collection) of type A but does not override it\n" + 
			"----------\n"
		);
	} else {
		this.runNegativeTest(

			"	@Override public X foo(Collection<?> c) { return this; }\n" + 
			"	                   ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method foo(Collection<?>) of type X has the same erasure as foo(Collection) of type A but does not override it\n" + 
			"----------\n" +
			"6. ERROR in X.java (at line 7)\n" + 
			"	@Override public X foo(Collection<?> c) { return this; }\n" + 
			"	                   ^^^^^^^^^^^^^^^^^^^^\n" + 

// http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6182950
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=?
public void test187() {
	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6 )?
			"----------\n" + 
			"1. WARNING in X.java (at line 6)\n" + 
			"	double f(List<Integer> l) {return 0;}\n" + 
			"	       ^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method f(List<Integer>) of type Y has the same erasure as f(List<String>) of type X but does not override it\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 13)\n" + 
			"	int f(List<String> l) {return 0;}\n" + 
			"	    ^^^^^^^^^^^^^^^^^\n" + 
			"Method f(List<String>) has the same erasure f(List<E>) as another method in type XX\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 14)\n" + 
			"	double f(List<Integer> l) {return 0;}\n" + 
			"	       ^^^^^^^^^^^^^^^^^^\n" + 
			"Method f(List<Integer>) has the same erasure f(List<E>) as another method in type XX\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 6)\n" + 
				"	double f(List<Integer> l) {return 0;}\n" + 
				"	       ^^^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method f(List<Integer>) of type Y has the same erasure as f(List<String>) of type X but does not override it\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 13)\n" + 
				"	int f(List<String> l) {return 0;}\n" + 
				"	    ^^^^^^^^^^^^^^^^^\n" + 
				"Method f(List<String>) has the same erasure f(List<E>) as another method in type XX\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 14)\n" + 
				"	double f(List<Integer> l) {return 0;}\n" + 
				"	       ^^^^^^^^^^^^^^^^^^\n" + 
				"Method f(List<Integer>) has the same erasure f(List<E>) as another method in type XX\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

    			"double f(List<Integer> l) {return 0;}\n" +// name clash in 1.5 & 7
			"}"
		},
		expectedCompilerLog
		"1. ERROR in X.java (at line 6)\n" + 
		"	double f(List<Integer> l) {return 0;}\n" + 
		"	       ^^^^^^^^^^^^^^^^^^\n" + 
		"Name clash: The method f(List<Integer>) of type Y has the same erasure as f(List<String>) of type X but does not override it\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 13)\n" + 
		"	int f(List<String> l) {return 0;}\n" + 
		"	    ^^^^^^^^^^^^^^^^^\n" + 
		"Method f(List<String>) has the same erasure f(List<E>) as another method in type XX\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 14)\n" + 
		"	double f(List<Integer> l) {return 0;}\n" + 
		"	       ^^^^^^^^^^^^^^^^^^\n" + 
		"Method f(List<Integer>) has the same erasure f(List<E>) as another method in type XX\n" + 
		"----------\n"
	);
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=279836

}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=285088
public void test200() {
	Map options = getCompilerOptions();
	String compliance = (String) options.get(JavaCore.COMPILER_COMPLIANCE);
	String errorMessage = compliance == JavaCore.VERSION_1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	int foo(Collection bar) { return 0; }\n" + 
			"	    ^^^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(Collection) has the same erasure foo(Collection<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 3)\n" + 
			"	int foo(Collection bar) { return 0; }\n" + 
			"	        ^^^^^^^^^^\n" + 
			"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 4)\n" + 
			"	double foo(Collection<String> bar) {return 0; }\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(Collection<String>) has the same erasure foo(Collection<E>) as another method in type X\n" + 
			"----------\n" :
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	int foo(Collection bar) { return 0; }\n" + 
				"	    ^^^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(Collection) has the same erasure foo(Collection<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	int foo(Collection bar) { return 0; }\n" + 
				"	        ^^^^^^^^^^\n" + 
				"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 4)\n" + 
				"	double foo(Collection<String> bar) {return 0; }\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(Collection<String>) has the same erasure foo(Collection<E>) as another method in type X\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",

			"	double foo(Collection<String> bar) {return 0; }\n" +
			"}"
		},
		errorMessage
		"1. ERROR in X.java (at line 3)\n" + 
		"	int foo(Collection bar) { return 0; }\n" + 
		"	    ^^^^^^^^^^^^^^^^^^^\n" + 
		"Method foo(Collection) has the same erasure foo(Collection<E>) as another method in type X\n" + 
		"----------\n" + 
		"2. WARNING in X.java (at line 3)\n" + 
		"	int foo(Collection bar) { return 0; }\n" + 
		"	        ^^^^^^^^^^\n" + 
		"Collection is a raw type. References to generic type Collection<E> should be parameterized\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 4)\n" + 
		"	double foo(Collection<String> bar) {return 0; }\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Method foo(Collection<String>) has the same erasure foo(Collection<E>) as another method in type X\n" + 
		"----------\n"
	);
/* javac 7
X.java:4: foo(Collection) is already defined in X

			"}\n" +
			"interface C  extends A, B { \n" +
			"int get(List l);      // name clash error here\n" +
         "}\n" +
			"public class X {\n" +
         "    public static void main(String [] args) {\n" +
			"        System.out.println(\"Built OK\");\n" +
         "    }\n" +
			"}"
		},
		"Built OK");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=353089
public void test353089b() throws Exception {
	this.runNegativeTest(
		new String[] {

		"Zork cannot be resolved to a type\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=353089
public void test353089c() throws Exception {
	this.runNegativeTest(
		new String[] {

		"List is a raw type. References to generic type List<E> should be parameterized\n" + 
		"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 4)\n" + 
			"	public <T extends List> T foo() { return null; }\n" + 
			"	                  ^^^^\n" + 
			"List is a raw type. References to generic type List<E> should be parameterized\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 4)\n" + 
			"	public <T extends List> T foo() { return null; }\n" + 
			"	                          ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 5)\n" + 
			"	public <T extends Set> T foo() { return null; }\n" + 
			"	                  ^^^\n" + 
			"Set is a raw type. References to generic type Set<E> should be parameterized\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 5)\n" + 
			"	public <T extends Set> T foo() { return null; }\n" + 
			"	                         ^^^^^\n" + 
			"Duplicate method foo() in type X\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 6)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. WARNING in X.java (at line 4)\n" + 
				"	public <T extends List> T foo() { return null; }\n" + 
				"	                  ^^^^\n" + 
				"List is a raw type. References to generic type List<E> should be parameterized\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	public <T extends List> T foo() { return null; }\n" + 
				"	                          ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"3. WARNING in X.java (at line 5)\n" + 
				"	public <T extends Set> T foo() { return null; }\n" + 
				"	                  ^^^\n" + 
				"Set is a raw type. References to generic type Set<E> should be parameterized\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 5)\n" + 
				"	public <T extends Set> T foo() { return null; }\n" + 
				"	                         ^^^^^\n" + 
				"Duplicate method foo() in type X\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 6)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" +
			"import java.util.Set;\n" +
			"class X {\n" +
			"    public <T extends List> T foo() { return null; }\n" +
			"	 public <T extends Set> T foo() { return null; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719a() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 4)\n" + 
			"	public Integer same(List<Integer> a) { return null; }\n" + 
			"	               ^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method same(List<Integer>) has the same erasure same(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 5)\n" + 
			"	public String same(List<String> b) { return null; }\n" + 
			"	              ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method same(List<String>) has the same erasure same(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 6)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 4)\n" + 
				"	public Integer same(List<Integer> a) { return null; }\n" + 
				"	               ^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method same(List<Integer>) has the same erasure same(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 5)\n" + 
				"	public String same(List<String> b) { return null; }\n" + 
				"	              ^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method same(List<String>) has the same erasure same(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 6)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" +
			"import java.util.Set;\n" +
			"class X {\n" +
			"    public Integer same(List<Integer> a) { return null; }\n" +
			"	 public String same(List<String> b) { return null; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719b() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	public static String doIt(final List<String> arg) { return null; }\n" + 
			"	                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt(List<String>) has the same erasure doIt(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 4)\n" + 
			"	public static CharSequence doIt(final List<CharSequence> arg) { return null; }\n" + 
			"	                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt(List<CharSequence>) has the same erasure doIt(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	public static String doIt(final List<String> arg) { return null; }\n" + 
				"	                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt(List<String>) has the same erasure doIt(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	public static CharSequence doIt(final List<CharSequence> arg) { return null; }\n" + 
				"	                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt(List<CharSequence>) has the same erasure doIt(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" +
			"class X {\n" +
			"    public static String doIt(final List<String> arg) { return null; }\n" +
			"	 public static CharSequence doIt(final List<CharSequence> arg) { return null; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719c() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	protected static <T extends String> T same(Collection<? extends T> p_col) { return null; }\n" + 
			"	                            ^^^^^^\n" + 
			"The type parameter T should not be bounded by the final type String. Final types cannot be further extended\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 3)\n" + 
			"	protected static <T extends String> T same(Collection<? extends T> p_col) { return null; }\n" + 
			"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method same(Collection<? extends T>) has the same erasure same(Collection<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 4)\n" + 
			"	protected static <T extends Number> T same(Collection<? extends T> p_col) { return null; }\n" + 
			"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method same(Collection<? extends T>) has the same erasure same(Collection<E>) as another method in type X\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. WARNING in X.java (at line 3)\n" + 
				"	protected static <T extends String> T same(Collection<? extends T> p_col) { return null; }\n" + 
				"	                            ^^^^^^\n" + 
				"The type parameter T should not be bounded by the final type String. Final types cannot be further extended\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 3)\n" + 
				"	protected static <T extends String> T same(Collection<? extends T> p_col) { return null; }\n" + 
				"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method same(Collection<? extends T>) has the same erasure same(Collection<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 4)\n" + 
				"	protected static <T extends Number> T same(Collection<? extends T> p_col) { return null; }\n" + 
				"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method same(Collection<? extends T>) has the same erasure same(Collection<E>) as another method in type X\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 5)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.Collection;\n" +
			"class X {\n" +
			"    protected static <T extends String> T same(Collection<? extends T> p_col) { return null; }\n" +
			"	 protected static <T extends Number> T same(Collection<? extends T> p_col) { return null; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719d() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	public static boolean foo(List<String> x) { return true; }\n" + 
			"	                      ^^^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(List<String>) has the same erasure foo(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 4)\n" + 
			"	public static int foo(List<Integer> x) { return 2; }\n" + 
			"	                  ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method foo(List<Integer>) has the same erasure foo(List<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	public static boolean foo(List<String> x) { return true; }\n" + 
				"	                      ^^^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(List<String>) has the same erasure foo(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	public static int foo(List<Integer> x) { return 2; }\n" + 
				"	                  ^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method foo(List<Integer>) has the same erasure foo(List<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" +
			"class X {\n" +
			"    public static boolean foo(List<String> x) { return true; }\n" +
			"	 public static int foo(List<Integer> x) { return 2; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719e() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	public String getFirst (ArrayList<String> ss) { return ss.get(0); }\n" + 
			"	              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method getFirst(ArrayList<String>) has the same erasure getFirst(ArrayList<E>) as another method in type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 4)\n" + 
			"	public Integer getFirst (ArrayList<Integer> ss) { return ss.get(0); }\n" + 
			"	               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method getFirst(ArrayList<Integer>) has the same erasure getFirst(ArrayList<E>) as another method in type X\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	public String getFirst (ArrayList<String> ss) { return ss.get(0); }\n" + 
				"	              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method getFirst(ArrayList<String>) has the same erasure getFirst(ArrayList<E>) as another method in type X\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	public Integer getFirst (ArrayList<Integer> ss) { return ss.get(0); }\n" + 
				"	               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method getFirst(ArrayList<Integer>) has the same erasure getFirst(ArrayList<E>) as another method in type X\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.ArrayList;\n" +
			"class X {\n" +
			"    public String getFirst (ArrayList<String> ss) { return ss.get(0); }\n" +
			"	 public Integer getFirst (ArrayList<Integer> ss) { return ss.get(0); }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719f() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	public static <R extends Object> X<R> forAccountSet(List list) { return null; }\n" + 
			"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method forAccountSet(List) has the same erasure forAccountSet(List<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 3)\n" + 
			"	public static <R extends Object> X<R> forAccountSet(List list) { return null; }\n" + 
			"	                                                    ^^^^\n" + 
			"List is a raw type. References to generic type List<E> should be parameterized\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 4)\n" + 
			"	public static <R extends Object> ChildX<R> forAccountSet(List<R> list) { return null; }\n" + 
			"	                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method forAccountSet(List<R>) has the same erasure forAccountSet(List<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	public static <R extends Object> X<R> forAccountSet(List list) { return null; }\n" + 
				"	                                      ^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method forAccountSet(List) has the same erasure forAccountSet(List<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"2. WARNING in X.java (at line 3)\n" + 
				"	public static <R extends Object> X<R> forAccountSet(List list) { return null; }\n" + 
				"	                                                    ^^^^\n" + 
				"List is a raw type. References to generic type List<E> should be parameterized\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 4)\n" + 
				"	public static <R extends Object> ChildX<R> forAccountSet(List<R> list) { return null; }\n" + 
				"	                                           ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method forAccountSet(List<R>) has the same erasure forAccountSet(List<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 5)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" +
			"class X<Z> {\n" +
			"    public static <R extends Object> X<R> forAccountSet(List list) { return null; }\n" +
			"	 public static <R extends Object> ChildX<R> forAccountSet(List<R> list) { return null; }\n" +
			"	 Zork z;\n" +
			"}\n" +
			"class ChildX<Z> extends X<Z>{}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719g() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in X.java (at line 3)\n" + 
			"	public static int[] doIt(Collection<int[]> col) { return new int[1]; }\n" + 
			"	                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt(Collection<int[]>) has the same erasure doIt(Collection<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 4)\n" + 
			"	public static int[][] doIt(Collection<int[][]> col) { return new int[0][0]; }\n" + 
			"	                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt(Collection<int[][]>) has the same erasure doIt(Collection<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 5)\n" + 
			"	public int[] doIt2(Collection<int[]> col) { return new int[0]; }\n" + 
			"	             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt2(Collection<int[]>) has the same erasure doIt2(Collection<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 6)\n" + 
			"	public int[][] doIt2(Collection<int[][]> col) { return new int[0][0]; }\n" + 
			"	               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Method doIt2(Collection<int[][]>) has the same erasure doIt2(Collection<E>) as another method in type X<Z>\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 7)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. ERROR in X.java (at line 3)\n" + 
				"	public static int[] doIt(Collection<int[]> col) { return new int[1]; }\n" + 
				"	                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt(Collection<int[]>) has the same erasure doIt(Collection<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"2. ERROR in X.java (at line 4)\n" + 
				"	public static int[][] doIt(Collection<int[][]> col) { return new int[0][0]; }\n" + 
				"	                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt(Collection<int[][]>) has the same erasure doIt(Collection<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"3. ERROR in X.java (at line 5)\n" + 
				"	public int[] doIt2(Collection<int[]> col) { return new int[0]; }\n" + 
				"	             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt2(Collection<int[]>) has the same erasure doIt2(Collection<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"4. ERROR in X.java (at line 6)\n" + 
				"	public int[][] doIt2(Collection<int[][]> col) { return new int[0][0]; }\n" + 
				"	               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Method doIt2(Collection<int[][]>) has the same erasure doIt2(Collection<E>) as another method in type X<Z>\n" + 
				"----------\n" + 
				"5. ERROR in X.java (at line 7)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.Collection;\n" +
			"class X<Z> {\n" +
			"    public static int[] doIt(Collection<int[]> col) { return new int[1]; }\n" +
			"	 public static int[][] doIt(Collection<int[][]> col) { return new int[0][0]; }\n" +
			"	 public int[] doIt2(Collection<int[]> col) { return new int[0]; }\n" +
			"	 public int[][] doIt2(Collection<int[][]> col) { return new int[0][0]; }\n" +
			"	 Zork z;\n" +
			"}\n" +
			"class ChildX<Z> extends X<Z>{}\n"
		},
		output);
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=317719
public void testBug317719h() throws Exception {
	String output = this.complianceLevel == ClassFileConstants.JDK1_6 ?
			"----------\n" + 
			"1. WARNING in Test.java (at line 3)\n" + 
			"	public class Test<Key, Value> extends LinkedHashMap<Key, Collection<Value>> {\n" + 
			"	             ^^^^\n" + 
			"The serializable class Test does not declare a static final serialVersionUID field of type long\n" + 
			"----------\n" + 
			"2. WARNING in Test.java (at line 4)\n" + 
			"	public Collection<Value> put(Key k, Value v) { return null; }\n" + 
			"	                         ^^^^^^^^^^^^^^^^^^^\n" + 
			"Name clash: The method put(Key, Value) of type Test<Key,Value> has the same erasure as put(K, V) of type HashMap<K,V> but does not override it\n" + 
			"----------\n" + 
			"3. WARNING in Test.java (at line 5)\n" + 
			"	public Collection<Value> get(Key k) { return null; }\n" + 
			"	                         ^^^^^^^^^^\n" + 
			"Name clash: The method get(Key) of type Test<Key,Value> has the same erasure as get(Object) of type LinkedHashMap<K,V> but does not override it\n" + 
			"----------\n" + 
			"4. ERROR in Test.java (at line 6)\n" + 
			"	Zork z;\n" + 
			"	^^^^\n" + 
			"Zork cannot be resolved to a type\n" + 
			"----------\n":
				"----------\n" + 
				"1. WARNING in Test.java (at line 3)\n" + 
				"	public class Test<Key, Value> extends LinkedHashMap<Key, Collection<Value>> {\n" + 
				"	             ^^^^\n" + 
				"The serializable class Test does not declare a static final serialVersionUID field of type long\n" + 
				"----------\n" + 
				"2. ERROR in Test.java (at line 4)\n" + 
				"	public Collection<Value> put(Key k, Value v) { return null; }\n" + 
				"	                         ^^^^^^^^^^^^^^^^^^^\n" + 
				"Name clash: The method put(Key, Value) of type Test<Key,Value> has the same erasure as put(K, V) of type HashMap<K,V> but does not override it\n" + 
				"----------\n" + 
				"3. ERROR in Test.java (at line 5)\n" + 
				"	public Collection<Value> get(Key k) { return null; }\n" + 
				"	                         ^^^^^^^^^^\n" + 
				"Name clash: The method get(Key) of type Test<Key,Value> has the same erasure as get(Object) of type LinkedHashMap<K,V> but does not override it\n" + 
				"----------\n" + 
				"4. ERROR in Test.java (at line 6)\n" + 
				"	Zork z;\n" + 
				"	^^^^\n" + 
				"Zork cannot be resolved to a type\n" + 
				"----------\n";
	this.runNegativeTest(
		new String[] {
			"Test.java",
			"import java.util.Collection;\n" +
			"import java.util.LinkedHashMap;\n" +
			"public class Test<Key, Value> extends LinkedHashMap<Key, Collection<Value>> {\n" +
			"    public Collection<Value> put(Key k, Value v) { return null; }\n" +
			"	 public Collection<Value> get(Key k) { return null; }\n" +
			"	 Zork z;\n" +
			"}\n"
		},
		output);
}
}

Return to bug 317719

Lines 1593-1599 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java (-2 / +5 lines)
1593	nodeSourceStart(local, location),	1593	nodeSourceStart(local, location),
1594	nodeSourceEnd(local, location));	1594	nodeSourceEnd(local, location));
1595	}	1595	}
1596	public void duplicateMethodInType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, boolean equalParameters) {	1596	public void duplicateMethodInType(SourceTypeBinding type, AbstractMethodDeclaration methodDecl, boolean equalParameters, int severity) {
1597	MethodBinding method = methodDecl.binding;	1597	MethodBinding method = methodDecl.binding;
1598	if (equalParameters) {	1598	if (equalParameters) {
1599	this.handle(	1599	this.handle(
Lines 1606-1611 Link Here
1606	new String(methodDecl.selector),	1606	new String(methodDecl.selector),
1607	new String(method.declaringClass.shortReadableName()),	1607	new String(method.declaringClass.shortReadableName()),
1608	typesAsString(method, true)},	1608	typesAsString(method, true)},
		1609	severity,
1609	methodDecl.sourceStart,	1610	methodDecl.sourceStart,
1610	methodDecl.sourceEnd);	1611	methodDecl.sourceEnd);
1611	} else {	1612	} else {
Lines 1626-1631 Link Here
1626	new String(method.declaringClass.shortReadableName()),	1627	new String(method.declaringClass.shortReadableName()),
1627	typesAsString(method, true),	1628	typesAsString(method, true),
1628	typesAsString(method, erasures, true) },	1629	typesAsString(method, erasures, true) },
		1630	severity,
1629	methodDecl.sourceStart,	1631	methodDecl.sourceStart,
1630	methodDecl.sourceEnd);	1632	methodDecl.sourceEnd);
1631	}	1633	}
Lines 5091-5097 Link Here
5091	method.sourceEnd);	5093	method.sourceEnd);
5092	}	5094	}
5093		5095
5094	public void methodNameClash(MethodBinding currentMethod, MethodBinding inheritedMethod) {	5096	public void methodNameClash(MethodBinding currentMethod, MethodBinding inheritedMethod, int severity) {
5095	this.handle(	5097	this.handle(
5096	IProblem.MethodNameClash,	5098	IProblem.MethodNameClash,
5097	new String[] {	5099	new String[] {
Lines 5108-5113 Link Here
5108	typesAsString(inheritedMethod, true),	5110	typesAsString(inheritedMethod, true),
5109	new String(inheritedMethod.declaringClass.shortReadableName()),	5111	new String(inheritedMethod.declaringClass.shortReadableName()),
5110	},	5112	},
		5113	severity,
5111	currentMethod.sourceStart(),	5114	currentMethod.sourceStart(),
5112	currentMethod.sourceEnd());	5115	currentMethod.sourceEnd());
5113	}	5116	}

Lines 22-28 Link Here

(-)Eclipse Java Tests Compiler/org/eclipse/jdt/tests/compiler/regression/NegativeTest.java (-12 / +35 lines)
22		22
23	public class NegativeTest extends AbstractRegressionTest {	23	public class NegativeTest extends AbstractRegressionTest {
24	static {	24	static {
25	// TESTS_NUMBERS = new int[] { 275 };	25	// TESTS_NUMBERS = new int[] { 92 };
26	}	26	}
27	public NegativeTest(String name) {	27	public NegativeTest(String name) {
28	super(name);	28	super(name);
Lines 3664-3669 Link Here
3664	);	3664	);
3665	}	3665	}
3666	public void test092() {	3666	public void test092() {
		3667	String expectedCompilerLog = (this.complianceLevel == ClassFileConstants.JDK1_6)?
		3668	"----------\n" +
		3669	"1. WARNING in p\\Toplevel12.java (at line 4)\n" +
		3670	" Object local(){\n" +
		3671	" ^^^^^^^\n" +
		3672	"Duplicate method local() in type Toplevel12\n" +
		3673	"----------\n" +
		3674	"2. ERROR in p\\Toplevel12.java (at line 15)\n" +
		3675	" return new Package2.Sub();\n" +
		3676	" ^^^^^^^^^^^^^^^^^^\n" +
		3677	"No enclosing instance of type Package2 is accessible. Must qualify the allocation with an enclosing instance of type Package2 (e.g. x.new A() where x is an instance of Package2).\n" +
		3678	"----------\n" +
		3679	"3. WARNING in p\\Toplevel12.java (at line 17)\n" +
		3680	" void local(){\n" +
		3681	" ^^^^^^^\n" +
		3682	"Duplicate method local() in type Toplevel12\n" +
		3683	"----------\n":
		3684	"----------\n" +
		3685	"1. ERROR in p\\Toplevel12.java (at line 4)\n" +
		3686	" Object local(){\n" +
		3687	" ^^^^^^^\n" +
		3688	"Duplicate method local() in type Toplevel12\n" +
		3689	"----------\n" +
		3690	"2. ERROR in p\\Toplevel12.java (at line 15)\n" +
		3691	" return new Package2.Sub();\n" +
		3692	" ^^^^^^^^^^^^^^^^^^\n" +
		3693	"No enclosing instance of type Package2 is accessible. Must qualify the allocation with an enclosing instance of type Package2 (e.g. x.new A() where x is an instance of Package2).\n" +
		3694	"----------\n" +
		3695	"3. ERROR in p\\Toplevel12.java (at line 17)\n" +
		3696	" void local(){\n" +
		3697	" ^^^^^^^\n" +
		3698	"Duplicate method local() in type Toplevel12\n" +
		3699	"----------\n";
3667	this.runNegativeTest(	3700	this.runNegativeTest(
3668	new String[] {	3701	new String[] {
3669	"p/Toplevel12.java",	3702	"p/Toplevel12.java",
Lines 3697-3713 Link Here
3697	" }\n" +	3730	" }\n" +
3698	"}",	3731	"}",
3699	},	3732	},
3700	"----------\n" +	3733	expectedCompilerLog
3701	"1. ERROR in p\\Toplevel12.java (at line 4)\n" +
3702	" Object local(){\n" +
3703	" ^^^^^^^\n" +
3704	"Duplicate method local() in type Toplevel12\n" +
3705	"----------\n" +
3706	"2. ERROR in p\\Toplevel12.java (at line 17)\n" +
3707	" void local(){\n" +
3708	" ^^^^^^^\n" +
3709	"Duplicate method local() in type Toplevel12\n" +
3710	"----------\n"
3711	);	3734	);
3712	}	3735	}
3713	public void test093() {	3736	public void test093() {