Attachment #45830 for bug #149573

Lines 97-103 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding.java (-1 / +1 lines)
97	for (int i = 0; i < length; i++) {	97	for (int i = 0; i < length; i++) {
98	TypeBinding argument = originalArguments[i];	98	TypeBinding argument = originalArguments[i];
99	if (argument.kind() == Binding.WILDCARD_TYPE && ((WildcardBinding)argument).otherBounds == null) { // no capture for intersection types	99	if (argument.kind() == Binding.WILDCARD_TYPE && ((WildcardBinding)argument).otherBounds == null) { // no capture for intersection types
100	capturedArguments[i] = new CaptureBinding((WildcardBinding) argument, contextType, position);	100	capturedArguments[i] = new CaptureBinding((WildcardBinding) argument, contextType, position, scope.compilationUnitScope().nextCaptureID());
101	} else {	101	} else {
102	capturedArguments[i] = argument;	102	capturedArguments[i] = argument;
103	}	103	}





public class CompilationUnitScope extends Scope {
	
	public LookupEnvironment environment;
	public CompilationUnitDeclaration referenceContext;
	public char[][] currentPackageName;
	public PackageBinding fPackage;
	public ImportBinding[] imports;
	public HashtableOfObject typeOrPackageCache; // used in Scope.getTypeOrPackage()
	
	public SourceTypeBinding[] topLevelTypes;
	
	private CompoundNameVector qualifiedReferences;
	private SimpleNameVector simpleNameReferences;
	private ObjectVector referencedTypes;
	private ObjectVector referencedSuperTypes;
	
	HashtableOfType constantPoolNameUsage;
	private int captureID = 1;

public CompilationUnitScope(CompilationUnitDeclaration unit, LookupEnvironment environment) {
	super(COMPILATION_UNIT_SCOPE, null);

		return findImport(compoundName, compoundName.length);
	return findSingleImport(compoundName, isStaticImport);
}

public int nextCaptureID() {
	return this.captureID++;
}

/* Answer the problem reporter to use for raising new problems.
*
* Note that as a side-effect, this updates the current reference context
* (unit, type or method) in case the problem handler decides it is necessary
* to abort.
*/

public ProblemReporter problemReporter() {
	ProblemReporter problemReporter = referenceContext.problemReporter;
	problemReporter.referenceContext = referenceContext;

Lines 43-49 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/TypeConstants.java (-1 / +2 lines)
43	char[] WILDCARD_MINUS = { '-' };	43	char[] WILDCARD_MINUS = { '-' };
44	char[] WILDCARD_STAR = { '*' };	44	char[] WILDCARD_STAR = { '*' };
45	char[] WILDCARD_PLUS = { '+' };	45	char[] WILDCARD_PLUS = { '+' };
46	char[] WILDCARD_CAPTURE_NAME = "capture-of ".toCharArray(); //$NON-NLS-1$	46	char[] WILDCARD_CAPTURE_NAME_PREFIX = "capture#".toCharArray(); //$NON-NLS-1$
		47	char[] WILDCARD_CAPTURE_NAME_SUFFIX = "-of ".toCharArray(); //$NON-NLS-1$
47	char[] WILDCARD_CAPTURE = { '!' };	48	char[] WILDCARD_CAPTURE = { '!' };
48	char[] BYTE = "byte".toCharArray(); //$NON-NLS-1$	49	char[] BYTE = "byte".toCharArray(); //$NON-NLS-1$
49	char[] SHORT = "short".toCharArray(); //$NON-NLS-1$	50	char[] SHORT = "short".toCharArray(); //$NON-NLS-1$




	
	public TypeBinding lowerBound;
	public WildcardBinding wildcard;
	public int captureID;
	
	/* information to compute unique binding key */
	public ReferenceBinding sourceType;
	public int position;
	
	public CaptureBinding(WildcardBinding wildcard, ReferenceBinding sourceType, int position, int captureID) {
		super(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX, null, 0);
		this.wildcard = wildcard;
		this.modifiers = ClassFileConstants.AccPublic | ExtraCompilerModifiers.AccGenericSignature; // treat capture as public
		this.fPackage = wildcard.fPackage;
		this.sourceType = sourceType;
		this.position = position;
		this.captureID = captureID;
	}

	/*

	}	

	public String debugName() {

		if (this.wildcard != null) {
			StringBuffer buffer = new StringBuffer(10);
			buffer
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
				.append(this.captureID)
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
				.append(this.wildcard.debugName());
			return buffer.toString();
		}
		return super.debugName();
	}


	public char[] readableName() {
		if (this.wildcard != null) {
			StringBuffer buffer = new StringBuffer(10);
			buffer
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
				.append(this.captureID)
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
				.append(this.wildcard.readableName());
			int length = buffer.length();
			char[] name = new char[length];
			buffer.getChars(0, length, name, 0);
			return name;
		}
		return super.readableName();
	}
	
	public char[] shortReadableName() {
		if (this.wildcard != null) {
			StringBuffer buffer = new StringBuffer(10);
			buffer
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
				.append(this.captureID)
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
				.append(this.wildcard.shortReadableName());
			int length = buffer.length();
			char[] name = new char[length];
			buffer.getChars(0, length, name, 0);
			return name;
		}
		return super.shortReadableName();		
	}
	
	public String toString() {
		if (this.wildcard != null) {
			StringBuffer buffer = new StringBuffer(10);
			buffer
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
				.append(this.captureID)
				.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
				.append(this.wildcard);
			return buffer.toString();
		}
		return super.toString();
	}		

Lines 5183-5189 Link Here

(-)src/org/eclipse/jdt/core/tests/dom/ASTConverter15Test.java (-1 / +1 lines)
5183	assertNotNull("No node", node);	5183	assertNotNull("No node", node);
5184	assertEquals("Not a compilation unit", ASTNode.COMPILATION_UNIT, node.getNodeType());	5184	assertEquals("Not a compilation unit", ASTNode.COMPILATION_UNIT, node.getNodeType());
5185	CompilationUnit compilationUnit = (CompilationUnit) node;	5185	CompilationUnit compilationUnit = (CompilationUnit) node;
5186	assertProblemsSize(compilationUnit, 1, "Type safety: The cast from X.BB<capture-of ? extends Number,capture-of ? super Integer> to X.BD<Number> is actually checking against the erased type X.BD");	5186	assertProblemsSize(compilationUnit, 1, "Type safety: The cast from X.BB<capture#1-of ? extends Number,capture#2-of ? super Integer> to X.BD<Number> is actually checking against the erased type X.BD");
5187	node = getASTNode(compilationUnit, 0, 2, 1);	5187	node = getASTNode(compilationUnit, 0, 2, 1);
5188	assertEquals("Not a variable declaration statement", ASTNode.VARIABLE_DECLARATION_STATEMENT, node.getNodeType());	5188	assertEquals("Not a variable declaration statement", ASTNode.VARIABLE_DECLARATION_STATEMENT, node.getNodeType());
5189	VariableDeclarationStatement statement = (VariableDeclarationStatement) node;	5189	VariableDeclarationStatement statement = (VariableDeclarationStatement) node;




			"3. ERROR in X.java (at line 9)\n" + 
			"	x.t.bar(\"ESS\");\n" + 
			"	    ^^^\n" + 
			"The method bar(String) is undefined for the type capture#2-of ?\n" + 
			"----------\n");		
	}		
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=85303

			"2. ERROR in X.java (at line 7)\n" + 
			"	Class<? extends X> c3 = s.getClass();\n" + 
			"	                        ^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from Class<capture#3-of ? extends String> to Class<? extends X>\n" + 
			"----------\n");
	}		
	// variation on test0128

			"2. ERROR in X.java (at line 8)\n" + 
			"	Class<? extends XY> c3 = s.getClass();\n" + 
			"	                         ^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from Class<capture#3-of ? extends String> to Class<? extends XY>\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 14)\n" + 
			"	public Class <? extends Object> getClass() {\n" + 

			"3. ERROR in Z.java (at line 6)\n" + 
			"	zs.foo();\n" + 
			"	   ^^^\n" + 
			"The method foo(Z<? super ZA>) in the type Z<capture#1-of ? super ZA> is not applicable for the arguments ()\n" + 
			"----------\n");
	}
	public void test0137() {

			"2. ERROR in X.java (at line 10)\n" + 
			"	x.get().afoo();\n" + 
			"	        ^^^^\n" + 
			"The method afoo() is undefined for the type capture#1-of ? extends BX\n" + 
			"----------\n");
	}		
	// extending wildcard considers its bound prior to its corresponding variable

			"1. ERROR in X.java (at line 11)\n" + 
			"	x.get().bfoo();\n" + 
			"	        ^^^^\n" + 
			"The method bfoo() is undefined for the type capture#2-of ? super BX\n" + 
			"----------\n");
	}		
	public void test0142() {

			"3. ERROR in X.java (at line 10)\n" + 
			"	x = identity(x);\n" + 
			"	    ^^^^^^^^\n" + 
			"Bound mismatch: The generic method identity(X<P>) of type X<T> is not applicable for the arguments (X<capture#2-of ? extends X>). The inferred type capture#2-of ? extends X is not a valid substitute for the bounded parameter <P extends AX>\n" + 
			"----------\n");
	}			
	public void test0143() {

			"1. ERROR in X.java (at line 5)\n" + 
			"	Class<Object> xo2 = xx;\n" + 
			"	                    ^^\n" + 
			"Type mismatch: cannot convert from Class<capture#2-of ? extends X> to Class<Object>\n" + 
			"----------\n");
	}			
	public void test0144() {

			"1. ERROR in X.java (at line 6)\n" + 
			"	lx.add(x);\n" + 
			"	   ^^^\n" + 
			"The method add(capture#3-of ?) in the type XList<capture#3-of ?> is not applicable for the arguments (X)\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 7)\n" + 
			"	lx.slot = x;\n" + 
			"	          ^\n" + 
			"Type mismatch: cannot convert from X to capture#4-of ?\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 8)\n" + 
			"	lx.addAll(lx);\n" + 
			"	   ^^^^^^\n" + 
			"The method addAll(XList<capture#5-of ?>) in the type XList<capture#5-of ?> is not applicable for the arguments (XList<capture#6-of ?>)\n" + 
			"----------\n");
	}
	// 59628

			"1. ERROR in X.java (at line 9)\n" + 
			"	return a.get();\n" + 
			"	       ^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? to T\n" + 
			"----------\n");
	}		
	public void test0160() {

			"2. ERROR in X.java (at line 9)\n" + 
			"	return a.get();\n" + 
			"	       ^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? to T\n" + 
			"----------\n");
	}
	// Expected type inference for cast operation

			"2. ERROR in X.java (at line 9)\n" + 
			"	return a.get();\n" + 
			"	       ^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? to T\n" + 
			"----------\n");
	}
	// Expected type inference for cast operation

			"1. ERROR in X.java (at line 7)\n" + 
			"	Integer i = al.get(0);  // (2)\n" + 
			"	            ^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#2-of ? super Integer to Integer\n" + 
			"----------\n");
	}		
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=69141 variation

			"1. ERROR in X.java (at line 6)\n" + 
			"	al.add(new Integer(1)); // (1)\n" + 
			"	   ^^^\n" + 
			"The method add(capture#1-of ? extends Integer) in the type ArrayList<capture#1-of ? extends Integer> is not applicable for the arguments (Integer)\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=69141: variation

			"1. ERROR in X.java (at line 5)\n" + 
			"	Integer i = lx.slot;\n" + 
			"	            ^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#2-of ? super Integer to Integer\n" + 
			"----------\n");
	}	
	

			"18. ERROR in X.java (at line 11)\n" + 
			"	void m6() { List c = null; List l = (Collection<?>)c; } // type mismatch\n" + 
			"	                                    ^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from Collection<capture#2-of ?> to List\n" + 
			"----------\n");
	}	
	// conversion from raw to X<?> is safe (no unsafe warning)

			"1. ERROR in X.java (at line 8)\n" + 
			"	li= ln;\n" + 
			"	    ^^\n" + 
			"Type mismatch: cannot convert from List<capture#4-of ? extends Number> to List<? extends Integer>\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=69170 - variation

			"1. ERROR in X.java (at line 6)\n" + 
			"	return clazz.newInstance(); // ? extends Object\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? extends Object to X.A\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=69799 NPE in foreach checkcast

			"1. WARNING in X.java (at line 6)\n" + 
			"	List<Number> x2= (List<Number>)ls;//unsafe\n" + 
			"	                 ^^^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from List<capture#1-of ? extends Number> to List<Number> is actually checking against the erased type List\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 11)\n" + 
			"	List<Number> ls2 = (List<? extends Number>)ls;\n" + 
			"	                   ^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from List<capture#3-of ? extends Number> to List<Number>\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 12)\n" + 
			"	List<? extends Number> ls3 = (List<? extends Number>) li;\n" + 

			"2. ERROR in X.java (at line 4)\n" + 
			"	XC<U> xcu1 = (XC<?>) new X<E>();			\n" + 
			"	             ^^^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from XC<capture#1-of ?> to XC<U>\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 5)\n" + 
			"	XC<?> xcu2 = (XC<? extends X>) new X<E>();						\n" + 

			"1. ERROR in X.java (at line 4)\n" + 
			"	out.element = in.element;\n" + 
			"	              ^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#2-of ? to capture#1-of ?\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=75328

			"1. ERROR in X.java (at line 6)\n" + 
			"	m_values = values.entrySet();\n" + 
			"	           ^^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from Set<Map.Entry<Integer,capture#1-of ?>> to Set<Map.Entry<Integer,?>>\n" + 
			"----------\n");
	}	
	// check param type equivalences

			"1. ERROR in X.java (at line 9)\n" + 
			"	mx = x.createMX();\n" + 
			"	     ^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from X<capture#2-of ?>.MX<capture#2-of ?> to X<T>.MX<?>\n" + 
			"----------\n");
	}		
	// check param type equivalences

			"16. ERROR in X.java (at line 31)\n" + 
			"	target= value; // foo10 - wrong\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from MX<capture#6-of ? extends Object> to MX<? extends String>\n" + 
			"----------\n" + 
			"17. ERROR in X.java (at line 34)\n" + 
			"	target= value; // foo11 - wrong\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from MX<capture#8-of ? super String> to MX<? super Object>\n" + 
			"----------\n");
	}		
	// check param type equivalences

			"1. ERROR in X.java (at line 3)\n" + 
			"	target = value;\n" + 
			"	         ^^^^^\n" + 
			"Type mismatch: cannot convert from XC<capture#1-of ? extends Runnable> to XC<Runnable>\n" + 
			"----------\n");
	}			
	public void test0372() {

			"1. ERROR in X.java (at line 4)\n" + 
			"	target = value; // foo1\n" + 
			"	         ^^^^^\n" + 
			"Type mismatch: cannot convert from X<capture#2-of ? extends Exception> to X<? super Exception>\n" + 
			"----------\n");
	}		
	public void test0376() {

			"1. ERROR in X.java (at line 5)\n" + 
			"	xnpe.element = new java.io.IOException();\n" + 
			"	               ^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from IOException to capture#1-of ? super NullPointerException\n" + 
			"----------\n");
	}			


			"1. WARNING in X.java (at line 4)\n" + 
			"	X<String> x = (X<String>) xs;\n" + 
			"	              ^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from X<capture#1-of ? extends String> to X<String> is actually checking against the erased type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 5)\n" + 
			"	Zork z;\n" + 

			"1. ERROR in X.java (at line 11)\n" + 
			"	list.add(new Object());                       // should fail\n" + 
			"	     ^^^\n" + 
			"The method add(capture#4-of ? super Exception) in the type List<capture#4-of ? super Exception> is not applicable for the arguments (Object)\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 12)\n" + 
			"	list.add(new Throwable());                    // should fail\n" + 
			"	     ^^^\n" + 
			"The method add(capture#5-of ? super Exception) in the type List<capture#5-of ? super Exception> is not applicable for the arguments (Throwable)\n" + 
			"----------\n");	
	}			
	

	}		
	
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=78467 
	public void test0412() {
		this.runNegativeTest(
			new String[] {
				"X.java",

			"----------\n");	
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=78467 - variation
	public void test0412a() {
		this.runNegativeTest(
			new String[] {
				"X.java",

			"4. WARNING in X.java (at line 10)\n" + 
			"	list.add((T) other.get(0)); // checked cast\n" + 
			"	         ^^^^^^^^^^^^^^^^\n" + 
			"Unnecessary cast from capture#1-of ? extends T to T\n" + 
			"----------\n" + 
			"5. WARNING in X.java (at line 13)\n" + 
			"	list.add((T) other.get(0)); // unchecked cast\n" + 
			"	         ^^^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from capture#2-of ? super T to T is actually checking against the erased type Object\n" + 
			"----------\n");
	}		


			"1. ERROR in X.java (at line 9)\n" + 
			"	l.add(new X()); \n" + 
			"	  ^^^\n" + 
			"The method add(capture#2-of ? extends X) in the type List<capture#2-of ? extends X> is not applicable for the arguments (X)\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 17)\n" + 
			"	add3(lx, ls);\n" + 

			"2. WARNING in X.java (at line 16)\n" + 
			"	return m_manager.getById(getClass(), new Integer(1));\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type safety: Unchecked invocation getById(Class<capture#1-of ? extends Test>, Integer) of the generic method getById(Class<T>, Integer) of type Test.Manager<C>\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 16)\n" + 
			"	return m_manager.getById(getClass(), new Integer(1));\n" + 
			"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
			"Type safety: The expression of type capture#1-of ? extends Test needs unchecked conversion to conform to ITest<C>\n" + 
			"----------\n");
	}
	
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=82439

			"3. ERROR in X.java (at line 8)\n" + 
			"	Class<? extends Collection> d = getClazz(); // ko\n" + 
			"	                                ^^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from Class<capture#2-of ? extends Object> to Class<? extends Collection>\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 17)\n" + 
			"	Class<? extends Collection> c = getClass(); // ok\n" + 

			"1. ERROR in X.java (at line 5)\n" + 
			"	list.add(new Object());   // should fail\n" + 
			"	     ^^^\n" + 
			"The method add(capture#1-of ? super Number) in the type List<capture#1-of ? super Number> is not applicable for the arguments (Object)\n" + 
			"----------\n");
	}		
	

			"1. ERROR in X.java (at line 6)\n" + 
			"	lo = list;\n" + 
			"	     ^^^^\n" + 
			"Type mismatch: cannot convert from List<capture#2-of ? super Number> to List<Object>\n" + 
			"----------\n");
	}			
	

			"1. ERROR in X.java (at line 6)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#1-of ? super T) in the type List<capture#1-of ? super T> is not applicable for the arguments (capture#2-of ? extends Number)\n" + 
			"----------\n");
	}		
	

			"1. ERROR in X.java (at line 6)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#1-of ? super Number) in the type List<capture#1-of ? super Number> is not applicable for the arguments (capture#2-of ? super U)\n" + 
			"----------\n");
	}	
	

			"1. ERROR in X.java (at line 6)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#1-of ? super Integer) in the type List<capture#1-of ? super Integer> is not applicable for the arguments (capture#2-of ? extends Number)\n" + 
			"----------\n");
	}			


			"1. ERROR in X.java (at line 6)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#1-of ? super Number) in the type List<capture#1-of ? super Number> is not applicable for the arguments (capture#2-of ? super Integer)\n" + 
			"----------\n");
	}		
	

			"1. ERROR in X.java (at line 6)\n" + 
			"	bar(l, \"\"); \n" + 
			"	^^^\n" + 
			"The method bar(List<? super T>, T) in the type X is not applicable for the arguments (List<capture#1-of ?>, String)\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=84496

			"1. ERROR in X.java (at line 5)\n" + 
			"	f1.bar = f2.bar;\n" + 
			"	         ^^^^^^\n" + 
			"Type mismatch: cannot convert from X.Bar<capture#2-of ?> to X.Bar<capture#1-of ?>\n" + 
			"----------\n");
	}		
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=84496

			"1. ERROR in X.java (at line 4)\n" + 
			"	f1.bar = f1.bar;\n" + 
			"	         ^^^^^^\n" + 
			"Type mismatch: cannot convert from X.Bar<capture#2-of ?> to X.Bar<capture#1-of ?>\n" + 
			"----------\n");
	}		
	public void test0490() {

			"1. ERROR in X.java (at line 5)\n" + 
			"	lhs.t = rhs.t;\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from capture#4-of ? to capture#3-of ?\n" + 
			"----------\n");
	}		
	

			"1. ERROR in X.java (at line 5)\n" + 
			"	lhs.t = rhs.t;\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from capture#4-of ? to capture#3-of ?\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 12)\n" + 
			"	lhs = rhs;\n" + 
			"	      ^^^\n" + 
			"Type mismatch: cannot convert from X<capture#8-of ? extends Number> to X<? super Number>\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 17)\n" + 
			"	lhs.t = rhs.t;\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from capture#14-of ? extends Number to capture#13-of ? extends Number\n" + 
			"----------\n" + 
			"4. ERROR in X.java (at line 20)\n" + 
			"	lhs = rhs;\n" + 
			"	      ^^^\n" + 
			"Type mismatch: cannot convert from X<capture#16-of ? super Number> to X<? extends Number>\n" + 
			"----------\n" + 
			"5. ERROR in X.java (at line 21)\n" + 
			"	lhs.t = rhs.t;\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from capture#18-of ? super Number to capture#17-of ? extends Number\n" + 
			"----------\n" + 
			"6. ERROR in X.java (at line 25)\n" + 
			"	lhs.t = rhs.t;\n" + 
			"	        ^^^^^\n" + 
			"Type mismatch: cannot convert from capture#22-of ? super Number to capture#21-of ? super Number\n" + 
			"----------\n");
	}		
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=81576

			"1. ERROR in X.java (at line 18)\n" + 
			"	lhs = rhs; // cannot convert\n" + 
			"	      ^^^\n" + 
			"Type mismatch: cannot convert from X<capture#2-of ? extends Object> to X<String>\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 21)\n" + 
			"	lhs = rhs; // cannot convert\n" + 
			"	      ^^^\n" + 
			"Type mismatch: cannot convert from X<capture#3-of ? extends Object> to X2\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 29)\n" + 
			"	void foo(X<String> xs) {}\n" + 

			"1. WARNING in X.java (at line 9)\n" + 
			"	Object o = (DC<?>) (DA<?>) null;\n" + 
			"	           ^^^^^^^^^^^^^^^^^^^^\n" + 
			"Unnecessary cast from DA<capture#1-of ?> to DC<?>\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 9)\n" + 
			"	Object o = (DC<?>) (DA<?>) null;\n" + 

			"1. WARNING in X.java (at line 6)\n" + 
			"	X<U> foo = (X<U>)param;\n" + 
			"	           ^^^^^^^^^^^\n" + 
			"Type safety: The cast from X<capture#1-of ? super A> to X<U> is actually checking against the erased type X\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 8)\n" + 
			"	Zork z;\n" + 

			"1. WARNING in X.java (at line 8)\n" + 
			"	Object o1 = (X<String>) xo;\n" + 
			"	            ^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from X<capture#1-of ? extends Object> to X<String> is actually checking against the erased type X\n" + 
			"----------\n" + 
			"2. WARNING in X.java (at line 8)\n" + 
			"	Object o1 = (X<String>) xo;\n" + 
			"	            ^^^^^^^^^^^^^^\n" + 
			"Unnecessary cast from X<capture#1-of ? extends Object> to X<String>\n" + 
			"----------\n" + 
			"3. WARNING in X.java (at line 9)\n" + 
			"	Object o2 = (X<? extends Object>) xs;\n" + 

			"4. WARNING in X.java (at line 10)\n" + 
			"	Object o3 = (X2) xo;\n" + 
			"	            ^^^^^^^\n" + 
			"Unnecessary cast from X<capture#3-of ? extends Object> to X2\n" + 
			"----------\n" + 
			"5. WARNING in X.java (at line 11)\n" + 
			"	Object o4 = (X<? extends Object>) x2;\n" + 

			"6. WARNING in X.java (at line 12)\n" + 
			"	Object o5 = (X3<String>) xo;\n" + 
			"	            ^^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from X<capture#5-of ? extends Object> to X3<String> is actually checking against the erased type X3\n" + 
			"----------\n" + 
			"7. WARNING in X.java (at line 12)\n" + 
			"	Object o5 = (X3<String>) xo;\n" + 
			"	            ^^^^^^^^^^^^^^^\n" + 
			"Unnecessary cast from X<capture#5-of ? extends Object> to X3<String>\n" + 
			"----------\n" + 
			"8. ERROR in X.java (at line 18)\n" + 
			"	Zork z;\n" + 

			"1. ERROR in X.java (at line 6)\n" + 
			"	xu = xn;\n" + 
			"	     ^^\n" + 
			"Type mismatch: cannot convert from X<capture#4-of ? extends Number> to X<? extends U>\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 7)\n" + 
			"	xu.u = xn.u; // ko\n" + 
			"	       ^^^^\n" + 
			"Type mismatch: cannot convert from capture#6-of ? extends Number to capture#5-of ? extends U\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 8)\n" + 
			"	xn.u = xu.u; // ko\n" + 
			"	       ^^^^\n" + 
			"Type mismatch: cannot convert from capture#8-of ? extends U to capture#7-of ? extends Number\n" + 
			"----------\n");
	}
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=87273

			"3. WARNING in X.java (at line 8)\n" + 
			"	doWithEnumClass((Class<Enum>) cl);\n" + 
			"	                ^^^^^^^^^^^^^^^^\n" + 
			"Type safety: The cast from Class<capture#1-of ?> to Class<Enum> is actually checking against the erased type Class\n" + 
			"----------\n" + 
			"4. WARNING in X.java (at line 8)\n" + 
			"	doWithEnumClass((Class<Enum>) cl);\n" + 

			"1. ERROR in X.java (at line 4)\n" + 
			"	(f1).bar = (f1).bar;\n" + 
			"	           ^^^^^^^^\n" + 
			"Type mismatch: cannot convert from X.Bar<capture#2-of ?> to X.Bar<capture#1-of ?>\n" + 
			"----------\n");
	}
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=84496 - variation with single ref

			"1. ERROR in X.java (at line 4)\n" + 
			"	(f1).bar = f1.bar;\n" + 
			"	           ^^^^^^\n" + 
			"Type mismatch: cannot convert from X.Bar<capture#2-of ?> to X.Bar<capture#1-of ?>\n" + 
			"----------\n");
	}	
	// check array bound for wildcard

			"1. ERROR in X.java (at line 3)\n" + 
			"	int[] ints = box.get();\n" + 
			"	             ^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? super int[] to int[]\n" + 
			"----------\n");
	}		
	// check array bound for wildcard

			"1. ERROR in X.java (at line 3)\n" + 
			"	int[] ints = box.get();\n" + 
			"	             ^^^^^^^^^\n" + 
			"Type mismatch: cannot convert from capture#1-of ? to int[]\n" + 
			"----------\n");
	}
	

			"1. ERROR in X.java (at line 3)\n" + 
			"	f1.bar = f1.bar;\n" + 
			"	         ^^^^^^\n" + 
			"Type mismatch: cannot convert from Bar<capture#2-of ?> to Bar<capture#1-of ?>\n" + 
			"----------\n");            
	}


				"		 }\n" + 
				"}\n"
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 18)\n" + 
    		"	untypedList.addAll(untypedList2);\n" + 
    		"	            ^^^^^^\n" + 
    		"The method addAll(Collection<? extends capture#1-of ?>) in the type List<capture#1-of ?> is not applicable for the arguments (List<capture#2-of ?>)\n" + 
    		"----------\n" + 
    		"2. ERROR in X.java (at line 22)\n" + 
    		"	Logger.log(\"Test_Lists.main: s: \" + s);\n" + 
    		"	^^^^^^\n" + 
    		"Logger cannot be resolved\n" + 
    		"----------\n");
	}		
	
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=90881

				"	}\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 7)\n" + 
    		"	target.addAll(source);\n" + 
    		"	       ^^^^^^\n" + 
    		"The method addAll(Collection<? extends capture#1-of ? extends Number>) in the type List<capture#1-of ? extends Number> is not applicable for the arguments (List<capture#2-of ? extends Number>)\n" + 
    		"----------\n");
	}		

	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=85281 - variation

				"	}	\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 9)\n" + 
    		"	Class<? super Number> superSup2 = ext.getSuperclass();\n" + 
    		"	                                  ^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Class<capture#6-of ? super capture#5-of ? extends Number> to Class<? super Number>\n" + 
    		"----------\n");
	}
	

				"	}\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 11)\n" + 
    		"	Iterator<Entry<String, ?>> it = map.entrySet().iterator();\n" + 
    		"	                                ^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Iterator<Map.Entry<String,capture#1-of ?>> to Iterator<Map.Entry<String,?>>\n" + 
    		"----------\n");
	}		
	public void test0595() {

				"	}\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 11)\n" + 
    		"	Iterator<Entry<? extends String, ?>> it = map.entrySet().iterator();\n" + 
    		"	                                          ^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Iterator<Map.Entry<capture#1-of ? extends String,capture#2-of ?>> to Iterator<Map.Entry<? extends String,?>>\n" + 
    		"----------\n");
	}		
	public void test0596() {

				"	F second;\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 6)\n" + 
    		"	x.m().first = x.m().second;\n" + 
    		"	              ^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from capture#2-of ? to capture#1-of ?\n" + 
    		"----------\n");
	}		
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=90879

				"abstract class Values<T> {\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 4)\n" + 
    		"	return select(box.getValues());\n" + 
    		"	       ^^^^^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Values<capture#1-of ? extends U> to Values<U>\n" + 
    		"----------\n");
	}		
	public void test0602() {
	    this.runNegativeTest(

				"abstract class Values<T> {\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 4)\n" + 
    		"	box.getValues()[0] = box.getValues()[1];\n" + 
    		"	                     ^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Values<capture#2-of ? extends U> to Values<capture#1-of ? extends U>\n" + 
    		"----------\n");
	}		
	public void test0603() {
	    this.runConformTest(

				"abstract class Values<T> {\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 4)\n" + 
    		"	box.getValues()[1] = box.getValues()[2];\n" + 
    		"	                     ^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Values<capture#2-of ? extends U> to Values<capture#1-of ? extends U>\n" + 
    		"----------\n");
	}		
	public void test0606() {
	    this.runNegativeTest(

    		"1. ERROR in X.java (at line 4)\n" + 
    		"	box.getValues()[1] = (Values<? extends U>) box.getValues()[2];\n" + 
    		"	                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from Values<capture#3-of ? extends U> to Values<capture#1-of ? extends U>\n" + 
    		"----------\n");
	}		
	public void test0607() {

                "  }\n" + 
                "}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 6)\n" + 
    		"	s = var;\n" + 
    		"	    ^^^\n" + 
    		"Type mismatch: cannot convert from ZZZ1<?>.ZZZ2<?>.ZZZ3<capture#1-of ?> to String\n" + 
    		"----------\n");
    }
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=84973 - variation	
	public void test0618() {

				"	}\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 9)\n" + 
    		"	String s = foo(l1, l2);\n" + 
    		"	           ^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from List<capture#2-of ? extends Object&Serializable&Comparable<?>> to String\n" + 
    		"----------\n");
	}	
	// check capture for conditional operator

				"	}\n" + 
				"}\n",
            },
    		"----------\n" + 
    		"1. ERROR in X.java (at line 10)\n" + 
    		"	String s = l1 != null ? foo(l1, l2) : l3;\n" + 
    		"	           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
    		"Type mismatch: cannot convert from List<capture#4-of ? extends Object> to String\n" + 
    		"----------\n");
	}		
	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=92556

			"1. ERROR in X.java (at line 17)\n" + 
			"	arrays.add(a); // Error: The method add(capture-of ? extends Number[]) in the type List<capture-of ? super Number[]> is not applicable for the arguments (Number[])\n" + 
			"	       ^^^\n" + 
			"The method add(capture#4-of ? extends Number[]) in the type List<capture#4-of ? extends Number[]> is not applicable for the arguments (Number[])\n" + 
			"----------\n");
	}
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=93044	

			"1. ERROR in X.java (at line 8)\n" + 
			"	System.out.println(Enum.valueOf(c, \"CLASS\"));\n" + 
			"	                        ^^^^^^^\n" + 
			"Bound mismatch: The generic method valueOf(Class<T>, String) of type Enum<E> is not applicable for the arguments (Class<capture#1-of ? extends Enum<?>>, String). The inferred type capture#1-of ? extends Enum<?> is not a valid substitute for the bounded parameter <T extends Enum<T>>\n" + 
			"----------\n");
	}			
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=92982

			"1. ERROR in X.java (at line 12)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#3-of ? extends Object[]) in the type Vector<capture#3-of ? extends Object[]> is not applicable for the arguments (capture#4-of ? extends Object[])\n" + 
			"----------\n" + 
			"2. ERROR in X.java (at line 17)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#5-of ? super Object[]) in the type Vector<capture#5-of ? super Object[]> is not applicable for the arguments (capture#6-of ? super Object[])\n" + 
			"----------\n" + 
			"3. ERROR in X.java (at line 22)\n" + 
			"	lhs.add(rhs.get(0));\n" + 
			"	    ^^^\n" + 
			"The method add(capture#7-of ? extends Object[]) in the type Vector<capture#7-of ? extends Object[]> is not applicable for the arguments (capture#8-of ? super Object[])\n" + 
			"----------\n");
	}				
	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=92982 - variation

		"1. WARNING in X.java (at line 6)\n" + 
		"	Object o = (BD<Number>) bb;\n" + 
		"	           ^^^^^^^^^^^^^^^\n" + 
		"Type safety: The cast from X.BB<capture#1-of ? extends Number,capture#2-of ? super Integer> to X.BD<Number> is actually checking against the erased type X.BD\n" + 
		"----------\n" + 
		"2. WARNING in X.java (at line 6)\n" + 
		"	Object o = (BD<Number>) bb;\n" + 
		"	           ^^^^^^^^^^^^^^^\n" + 
		"Unnecessary cast from X.BB<capture#1-of ? extends Number,capture#2-of ? super Integer> to X.BD<Number>\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 8)\n" + 
		"	Zork z;\n" + 

		"2. WARNING in X.java (at line 34)\n" + 
		"	X<String, Integer> fromQueue = (X<String, Integer>) queue.remove();\n" + 
		"	                               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: The cast from Reference<capture#1-of ? extends Integer> to X<String,Integer> is actually checking against the erased type X\n" + 
		"----------\n");
}	
public void test0660() {

		"1. ERROR in X.java (at line 6)\n" + 
		"	X<String> x = foo(x1, x2);\n" + 
		"	              ^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from X<capture#3-of ? extends Object> to X<String>\n" + 
		"----------\n");
}	
public void test0685() {

		"1. ERROR in X.java (at line 6)\n" + 
		"	X<String> x = foo(x1, x2);\n" + 
		"	              ^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from X<capture#3-of ? extends Object> to X<String>\n" + 
		"----------\n");
}	
// check wildcard bounds wrt variable boundCheck

		"1. ERROR in X.java (at line 4)\n" + 
		"	lr = la;\n" + 
		"	     ^^\n" + 
		"Type mismatch: cannot convert from List<capture#2-of ?> to List<? extends Runnable>\n" + 
		"----------\n");
}
// check that final class bound is more restrictive

		"1. ERROR in X.java (at line 4)\n" + 
		"	X<T> x2 = x;\n" + 
		"	          ^\n" + 
		"Type mismatch: cannot convert from X<capture#1-of ? extends T> to X<T>\n" + 
		"----------\n");
}
public void test0752() {

		"1. ERROR in X.java (at line 7)\n" + 
		"	current = current.parent;\n" + 
		"	          ^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from X<capture#3-of ? extends I<capture#2-of ? extends I<E>>> to X<? extends I<E>>\n" + 
		"----------\n");
}
public void test0753() {

		"3. ERROR in X.java (at line 7)\n" + 
		"	current = current.parent;\n" + 
		"	          ^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from X<capture#3-of ? super I<capture#2-of ? super I<E>>> to X<? super I<E>>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=99578

		"1. ERROR in X.java (at line 8)\n" + 
		"	getLonger(list, set);\n" + 
		"	^^^^^^^^^\n" + 
		"Bound mismatch: The generic method getLonger(T, T) of type X is not applicable for the arguments (HashSet<capture#1-of ?>, ArrayList<capture#2-of ?>). The inferred type AbstractCollection<? extends Object>&Cloneable&Serializable is not a valid substitute for the bounded parameter <T extends Collection<? extends Number>>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=103528 - variation

		"1. ERROR in X.java (at line 8)\n" + 
		"	getLonger(list, set);\n" + 
		"	^^^^^^^^^\n" + 
		"Bound mismatch: The generic method getLonger(T, T) of type X<U> is not applicable for the arguments (HashSet<capture#1-of ?>, ArrayList<capture#2-of ?>). The inferred type AbstractCollection<? extends Object>&Cloneable&Serializable is not a valid substitute for the bounded parameter <T extends Collection<? extends U>>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=103994

		"2. ERROR in X.java (at line 15)\n" + 
		"	isGreater(c1, c2);\n" + 
		"	^^^^^^^^^\n" + 
		"Bound mismatch: The generic method isGreater(T, T) of type X is not applicable for the arguments (Comparable<capture#1-of ? extends Number>, Comparable<capture#2-of ? extends Number>). The inferred type Comparable<? extends Number> is not a valid substitute for the bounded parameter <T extends Comparable<T>>\n" + 
		"----------\n" + 
		"3. WARNING in X.java (at line 18)\n" + 
		"	Comparable c1= i;\n" + 

		"4. WARNING in X.java (at line 13)\n" + 
		"	ref.next = first == null ? ref : first;\n" + 
		"	           ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: The expression of type Y needs unchecked conversion to conform to Y<capture#2-of ? extends T>\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 14)\n" + 
		"	String s = first == null ? ref : first;\n" + 

		"6. WARNING in X.java (at line 15)\n" + 
		"	ref.next = first2 == null ? ref : first2;\n" + 
		"	           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: The expression of type Y needs unchecked conversion to conform to Y<capture#5-of ? extends T>\n" + 
		"----------\n" + 
		"7. WARNING in X.java (at line 18)\n" + 
		"	return first == null ? ref : first;\n" + 

		"1. ERROR in X.java (at line 13)\n" + 
		"	return true ? superList : superList;\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from ArrayList<capture#3-of ? extends Object> to ArrayList<? super A>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=106865

		"1. ERROR in X.java (at line 13)\n" + 
		"	y.foo(os);\n" + 
		"	  ^^^\n" + 
		"The method foo(capture#3-of ? extends Object[]) in the type Y<capture#3-of ? extends Object[]> is not applicable for the arguments (Object[])\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 16)\n" + 
		"	y.foo(c);\n" + 
		"	  ^^^\n" + 
		"The method foo(capture#4-of ? extends Cloneable) in the type Y<capture#4-of ? extends Cloneable> is not applicable for the arguments (Cloneable)\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=106936

		"1. ERROR in X.java (at line 5)\n" + 
		"	bar(l.get(0));\n" + 
		"	^^^\n" + 
		"The method bar(String) in the type X is not applicable for the arguments (capture#1-of ? extends List<? extends Number>)\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=111689

		"1. ERROR in X.java (at line 7)\n" + 
		"	col.add(n);\n" + 
		"	    ^^^\n" + 
		"The method add(capture#1-of ? extends Collection<? super Number>) in the type Collection<capture#1-of ? extends Collection<? super Number>> is not applicable for the arguments (List<Number>)\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=106451

		"2. WARNING in X.java (at line 5)\n" + 
		"	List<Number> nums= (List<Number>) asList; // correct warning\n" + 
		"	                   ^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: The cast from Collection<capture#1-of ? extends Number> to List<Number> is actually checking against the erased type List\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 7)\n" + 
		"	Zork z;\n" + 

		"			? uiMap.get(persistentClass)\n" + 
		"			: (Class<? extends ObjectFormUI<T>>) uiMap.get(persistentClass);\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<capture#4-of ? extends X.ObjectFormUI> to Class<? extends X.ObjectFormUI<T>>\n" + 
		"----------\n" + 
		"4. WARNING in X.java (at line 12)\n" + 
		"	: (Class<? extends ObjectFormUI<T>>) uiMap.get(persistentClass);\n" + 
		"	  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: The cast from Class<capture#2-of ? extends X.ObjectFormUI> to Class<? extends X.ObjectFormUI<T>> is actually checking against the erased type Class\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=119395 - variation

		"5. ERROR in X.java (at line 10)\n" + 
		"	Class<? extends Class<Object>> ceco2 = cec; // ko\n" + 
		"	                                       ^^^\n" + 
		"Type mismatch: cannot convert from Class<capture#2-of ? extends Class> to Class<? extends Class<Object>>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=119395 - variation

		"6. WARNING in X.java (at line 7)\n" + 
		"	Class<Object> c = let.get(0); // ok - unchecked\n" + 
		"	                  ^^^^^^^^^^\n" + 
		"Type safety: The expression of type capture#1-of ? extends T needs unchecked conversion to conform to Class<Object>\n" + 
		"----------\n" + 
		"7. WARNING in X.java (at line 9)\n" + 
		"	void bar3(List<? extends Class> lec) {\n" + 

		"8. WARNING in X.java (at line 10)\n" + 
		"	Class<Object> c = lec.get(0); // ok - unchecked\n" + 
		"	                  ^^^^^^^^^^\n" + 
		"Type safety: The expression of type capture#2-of ? extends Class needs unchecked conversion to conform to Class<Object>\n" + 
		"----------\n" + 
		"9. ERROR in X.java (at line 12)\n" + 
		"	Zork z;\n" + 

		"1. ERROR in X.java (at line 7)\n" + 
		"	String s = getClass();\n" + 
		"	           ^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<capture#1-of ? extends X> to String\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 8)\n" + 
		"	return (String) getDefault(getClass());\n" + 
		"	       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Cannot cast from capture#2-of ? extends X to String\n" + 
		"----------\n" + 
		"3. WARNING in X.java (at line 8)\n" + 
		"	return (String) getDefault(getClass());\n" + 
		"	                ^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked invocation getDefault(Class<capture#2-of ? extends X>) of the generic method getDefault(Class<T>) of type X<C>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=125445 

		"4. ERROR in X.java (at line 13)\n" + 
		"	lc1 = lc3; //2 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#1-of ? extends Collection<?>> to List<Collection>\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 14)\n" + 
		"	lc1 = lc4; //3 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#3-of ? extends Collection> to List<Collection>\n" + 
		"----------\n" + 
		"6. ERROR in X.java (at line 15)\n" + 
		"	lc2 = lc1; //4 ko\n" + 

		"7. ERROR in X.java (at line 16)\n" + 
		"	lc2 = lc3; //5 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#4-of ? extends Collection<?>> to List<Collection<?>>\n" + 
		"----------\n" + 
		"8. ERROR in X.java (at line 17)\n" + 
		"	lc2 = lc4; //6 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#6-of ? extends Collection> to List<Collection<?>>\n" + 
		"----------\n" + 
		"9. ERROR in X.java (at line 18)\n" + 
		"	lc3 = lc1; //7 ko\n" + 

		"10. ERROR in X.java (at line 20)\n" + 
		"	lc3 = lc4; //9 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#13-of ? extends Collection> to List<? extends Collection<?>>\n" + 
		"----------\n" + 
		"11. WARNING in X.java (at line 25)\n" + 
		"	private final List<Collection> aList = new ArrayList<Collection>();\n" + 

		"4. ERROR in X.java (at line 12)\n" + 
		"	lc1 = lc3; //2 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#1-of ? super Collection<?>> to List<Collection>\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 13)\n" + 
		"	lc1 = lc4; //3 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#2-of ? super Collection> to List<Collection>\n" + 
		"----------\n" + 
		"6. ERROR in X.java (at line 14)\n" + 
		"	lc2 = lc1; //4 ko\n" + 

		"7. ERROR in X.java (at line 15)\n" + 
		"	lc2 = lc3; //5 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#3-of ? super Collection<?>> to List<Collection<?>>\n" + 
		"----------\n" + 
		"8. ERROR in X.java (at line 16)\n" + 
		"	lc2 = lc4; //6 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#4-of ? super Collection> to List<Collection<?>>\n" + 
		"----------\n" + 
		"9. ERROR in X.java (at line 21)\n" + 
		"	lc4 = lc2; //11 ko\n" + 

		"10. ERROR in X.java (at line 22)\n" + 
		"	lc4 = lc3; //12 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#12-of ? super Collection<?>> to List<? super Collection>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 - variation

		"2. ERROR in X.java (at line 6)\n" + 
		"	l2 = l1;\n" + 
		"	     ^^\n" + 
		"Type mismatch: cannot convert from List<capture#2-of ? extends Collection<String>[]> to List<Collection[]>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 - variation

		"2. ERROR in X.java (at line 9)\n" + 
		"	lc1 = lc3; //2 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#1-of ? extends Collection<?>[]> to List<Collection[]>\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 10)\n" + 
		"	lc1 = lc4; //3 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#2-of ? extends Collection[]> to List<Collection[]>\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 11)\n" + 
		"	lc2 = lc1; //4 ko\n" + 

		"5. ERROR in X.java (at line 12)\n" + 
		"	lc2 = lc3; //5 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#3-of ? extends Collection<?>[]> to List<Collection<?>[]>\n" + 
		"----------\n" + 
		"6. ERROR in X.java (at line 13)\n" + 
		"	lc2 = lc4; //6 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#4-of ? extends Collection[]> to List<Collection<?>[]>\n" + 
		"----------\n" + 
		"7. ERROR in X.java (at line 14)\n" + 
		"	lc3 = lc1; //7 ko\n" + 

		"8. ERROR in X.java (at line 16)\n" + 
		"	lc3 = lc4; //9 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#8-of ? extends Collection[]> to List<? extends Collection<?>[]>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=127583 - variation

		"2. ERROR in X.java (at line 9)\n" + 
		"	lc1 = lc3; //2 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#1-of ? super Collection<?>[]> to List<Collection[]>\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 10)\n" + 
		"	lc1 = lc4; //3 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#2-of ? super Collection[]> to List<Collection[]>\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 11)\n" + 
		"	lc2 = lc1; //4 ko\n" + 

		"5. ERROR in X.java (at line 12)\n" + 
		"	lc2 = lc3; //5 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#3-of ? super Collection<?>[]> to List<Collection<?>[]>\n" + 
		"----------\n" + 
		"6. ERROR in X.java (at line 13)\n" + 
		"	lc2 = lc4; //6 ko\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#4-of ? super Collection[]> to List<Collection<?>[]>\n" + 
		"----------\n" + 
		"7. ERROR in X.java (at line 18)\n" + 
		"	lc4 = lc2; //11 ko\n" + 

		"8. ERROR in X.java (at line 19)\n" + 
		"	lc4 = lc3; //12 ko		\n" + 
		"	      ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#12-of ? super Collection<?>[]> to List<? super Collection[]>\n" + 
		"----------\n");
}


		"1. ERROR in X.java (at line 6)\n" + 
		"	X.a(t.getClass());\n" + 
		"	  ^\n" + 
		"The method a(Class<? extends X<?>>) in the type X is not applicable for the arguments (Class<capture#2-of ? extends X>)\n" + 
		"----------\n");
	);
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=129190 
public void test0924() {

		"1. ERROR in X.java (at line 6)\n" + 
		"	RESULT = NonTerminalSourcePart.create(Tuple.create(true, t.value().fst()));\n" + 
		"	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from NonTerminalSourcePart<Tuple<Boolean,capture#3-of ? extends Term>> to NonTerminalSourcePart<? extends Tuple<Boolean,Term>>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=129261 - variation

		"1. ERROR in X.java (at line 6)\n" + 
		"	RESULT = Collections.singletonList(Collections.singletonList(lst.get(0)));\n" + 
		"	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from List<List<capture#2-of ? extends Object>> to List<? extends List<Object>>\n" + 
		"----------\n" + 
		"2. ERROR in X.java (at line 11)\n" + 
		"	RESULT = Collections.singletonList(Collections.singletonList(lst.get(0)));\n" + 
		"	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from List<List<capture#3-of ? extends Object>> to List<List<Object>>\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 16)\n" + 
		"	RESULT = Collections.singletonList(Collections.singletonList(lst.get(0)));\n" + 
		"	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from List<List<capture#4-of ?>> to List<List<Object>>\n" + 
		"----------\n" + 
		"4. ERROR in X.java (at line 20)\n" + 
		"	RESULT = lst;\n" + 
		"	         ^^^\n" + 
		"Type mismatch: cannot convert from List<capture#5-of ? extends Object> to List<Object>\n" + 
		"----------\n" + 
		"5. ERROR in X.java (at line 21)\n" + 
		"	RESULT = Collections.singletonList(lst.get(0));\n" + 
		"	         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from List<capture#6-of ? extends Object> to List<Object>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=129261 - variation

		"1. ERROR in X.java (at line 6)\n" + 
		"	x1.addAll(x2);\n" + 
		"	   ^^^^^^\n" + 
		"The method addAll(Collection<? extends capture#1-of ?>) in the type List<capture#1-of ?> is not applicable for the arguments (List<capture#2-of ?>)\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=117119

		"2. WARNING in X.java (at line 7)\n" + 
		"	final Collection<E> test = allOf(enumType);\n" + 
		"	                           ^^^^^^^^^^^^^^^\n" + 
		"Type safety: Unchecked invocation allOf(Class<capture#1-of ? extends Enum>) of the generic method allOf(Class<E>) of type X\n" + 
		"----------\n" + 
		"3. ERROR in X.java (at line 7)\n" + 
		"	final Collection<E> test = allOf(enumType);\n" + 
		"	                           ^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Collection<capture#1-of ? extends Enum> to Collection<E>\n" + 
		"----------\n" + 
		"4. WARNING in X.java (at line 9)\n" + 
		"	Collection<? extends Enum> colType = null;\n" + 

		"5. ERROR in X.java (at line 10)\n" + 
		"	final Collection<E> test2 = colType;\n" + 
		"	                            ^^^^^^^\n" + 
		"Type mismatch: cannot convert from Collection<capture#2-of ? extends Enum> to Collection<E>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=119238

		"1. ERROR in X.java (at line 4)\n" + 
		"	Box<Runnable> bx = box(b.element);\n" + 
		"	                   ^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Box<capture#1-of ?> to Box<Runnable>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=129261 - variation

			"1. ERROR in X.java (at line 7)\n" + 
			"	l1.addAll(l2);\n" + 
			"	   ^^^^^^\n" + 
			"The method addAll(Collection<? extends capture#1-of ?>) in the type List<capture#1-of ?> is not applicable for the arguments (List<capture#2-of ?>)\n" + 
			"----------\n");
}
// generic inner class within a non generic one

		"1. ERROR in GenericsProblem.java (at line 5)\n" + 
		"	Class<? extends T> cl = val.getClass();\n" + 
		"	                        ^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<capture#2-of ? extends Object> to Class<? extends T>\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=148061

		"The method deepToString(T[]) in the type X is not applicable for the arguments (double[])\n" + 
		"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=149573
public void test1020() {
	this.runNegativeTest(
		new String[] {
			"X.java",
			"import java.util.List;\n" + 
			"\n" + 
			"public class X {\n" + 
			"	void foo(List<? extends Exception> l1, List<? extends Exception> l2) {\n" + 
			"		l1.add(l2.get(0));\n" + 
			"	}\n" + 
			"}\n", // =================
		},
		"----------\n" + 
		"1. ERROR in X.java (at line 5)\n" + 
		"	l1.add(l2.get(0));\n" + 
		"	   ^^^\n" + 
		"The method add(capture#1-of ? extends Exception) in the type List<capture#1-of ? extends Exception> is not applicable for the arguments (capture#2-of ? extends Exception)\n" + 
		"----------\n");
}
}

Lines 2043-2049 Link Here

(-)src/org/eclipse/jdt/core/tests/compiler/regression/BatchCompilerTest.java (-2 / +2 lines)
2043	"5. WARNING in ---OUTPUT_DIR_PLACEHOLDER---/p/Z.java (at line 58)\n" +	2043	"5. WARNING in ---OUTPUT_DIR_PLACEHOLDER---/p/Z.java (at line 58)\n" +
2044	" final XX<?, XY> l1 = (XX<?, XY>) i.getKey();\n" +	2044	" final XX<?, XY> l1 = (XX<?, XY>) i.getKey();\n" +
2045	" ^^^^^^^^^^^^^^^^^^^^^^\n" +	2045	" ^^^^^^^^^^^^^^^^^^^^^^\n" +
2046	"Type safety: The cast from X.XX<capture-of ?,capture-of ?> to X.XX<?,X.XY> is actually checking against the erased type X<T,U,V>.XX\n" +	2046	"Type safety: The cast from X.XX<capture#22-of ?,capture#23-of ?> to X.XX<?,X.XY> is actually checking against the erased type X<T,U,V>.XX\n" +
2047	"----------\n" +	2047	"----------\n" +
2048	"5 problems (5 warnings)",	2048	"5 problems (5 warnings)",
2049	true);	2049	true);
Lines 2208-2214 Link Here
2208	"5. WARNING in ---OUTPUT_DIR_PLACEHOLDER---/p/Z.java (at line 58)\n" +	2208	"5. WARNING in ---OUTPUT_DIR_PLACEHOLDER---/p/Z.java (at line 58)\n" +
2209	" final XX<?, XY> l1 = (XX<?, XY>) i.getKey();\n" +	2209	" final XX<?, XY> l1 = (XX<?, XY>) i.getKey();\n" +
2210	" ^^^^^^^^^^^^^^^^^^^^^^\n" +	2210	" ^^^^^^^^^^^^^^^^^^^^^^\n" +
2211	"Type safety: The cast from X.XX<capture-of ?,capture-of ?> to X.XX<?,X.XY> is actually checking against the erased type X<T,U,V>.XX\n" +	2211	"Type safety: The cast from X.XX<capture#22-of ?,capture#23-of ?> to X.XX<?,X.XY> is actually checking against the erased type X<T,U,V>.XX\n" +
2212	"----------\n" +	2212	"----------\n" +
2213	"5 problems (5 warnings)",	2213	"5 problems (5 warnings)",
2214	false);	2214	false);

Lines 3088-3094 Link Here

(-)src/org/eclipse/jdt/core/tests/compiler/regression/AutoBoxingTest.java (-1 / +1 lines)
3088	"3. WARNING in X.java (at line 20)\n" +	3088	"3. WARNING in X.java (at line 20)\n" +
3089	" final long t4 = obj.getVal();\n" +	3089	" final long t4 = obj.getVal();\n" +
3090	" ^^^^^^^^^^^^\n" +	3090	" ^^^^^^^^^^^^\n" +
3091	"The expression of type capture-of ? extends Long is unboxed into long\n" +	3091	"The expression of type capture#2-of ? extends Long is unboxed into long\n" +
3092	"----------\n" +	3092	"----------\n" +
3093	"4. WARNING in X.java (at line 24)\n" +	3093	"4. WARNING in X.java (at line 24)\n" +
3094	" <U extends Long> void proc2(Cla<U> obj) {\n" +	3094	" <U extends Long> void proc2(Cla<U> obj) {\n" +

Return to bug 149573

Lines 20-40 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/CompilationUnitScope.java (-16 / +21 lines)
20		20
21	public class CompilationUnitScope extends Scope {	21	public class CompilationUnitScope extends Scope {
22		22
23	public LookupEnvironment environment;	23	public LookupEnvironment environment;
24	public CompilationUnitDeclaration referenceContext;	24	public CompilationUnitDeclaration referenceContext;
25	public char[][] currentPackageName;	25	public char[][] currentPackageName;
26	public PackageBinding fPackage;	26	public PackageBinding fPackage;
27	public ImportBinding[] imports;	27	public ImportBinding[] imports;
28	public HashtableOfObject typeOrPackageCache; // used in Scope.getTypeOrPackage()	28	public HashtableOfObject typeOrPackageCache; // used in Scope.getTypeOrPackage()
29		29
30	public SourceTypeBinding[] topLevelTypes;	30	public SourceTypeBinding[] topLevelTypes;
31		31
32	private CompoundNameVector qualifiedReferences;	32	private CompoundNameVector qualifiedReferences;
33	private SimpleNameVector simpleNameReferences;	33	private SimpleNameVector simpleNameReferences;
34	private ObjectVector referencedTypes;	34	private ObjectVector referencedTypes;
35	private ObjectVector referencedSuperTypes;	35	private ObjectVector referencedSuperTypes;
36		36
37	HashtableOfType constantPoolNameUsage;	37	HashtableOfType constantPoolNameUsage;
		38	private int captureID = 1;
38		39
39	public CompilationUnitScope(CompilationUnitDeclaration unit, LookupEnvironment environment) {	40	public CompilationUnitScope(CompilationUnitDeclaration unit, LookupEnvironment environment) {
40	super(COMPILATION_UNIT_SCOPE, null);	41	super(COMPILATION_UNIT_SCOPE, null);
Lines 561-573 Link Here
561	return findImport(compoundName, compoundName.length);	562	return findImport(compoundName, compoundName.length);
562	return findSingleImport(compoundName, isStaticImport);	563	return findSingleImport(compoundName, isStaticImport);
563	}	564	}
		565
		566	public int nextCaptureID() {
		567	return this.captureID++;
		568	}
		569
564	/* Answer the problem reporter to use for raising new problems.	570	/* Answer the problem reporter to use for raising new problems.
565	*	571	*
566	* Note that as a side-effect, this updates the current reference context	572	* Note that as a side-effect, this updates the current reference context
567	* (unit, type or method) in case the problem handler decides it is necessary	573	* (unit, type or method) in case the problem handler decides it is necessary
568	* to abort.	574	* to abort.
569	*/	575	*/
570
571	public ProblemReporter problemReporter() {	576	public ProblemReporter problemReporter() {
572	ProblemReporter problemReporter = referenceContext.problemReporter;	577	ProblemReporter problemReporter = referenceContext.problemReporter;
573	problemReporter.referenceContext = referenceContext;	578	problemReporter.referenceContext = referenceContext;

Lines 18-35 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/lookup/CaptureBinding.java (-7 / +40 lines)
18		18
19	public TypeBinding lowerBound;	19	public TypeBinding lowerBound;
20	public WildcardBinding wildcard;	20	public WildcardBinding wildcard;
		21	public int captureID;
21		22
22	/* information to compute unique binding key */	23	/* information to compute unique binding key */
23	public ReferenceBinding sourceType;	24	public ReferenceBinding sourceType;
24	public int position;	25	public int position;
25		26
26	public CaptureBinding(WildcardBinding wildcard, ReferenceBinding sourceType, int position) {	27	public CaptureBinding(WildcardBinding wildcard, ReferenceBinding sourceType, int position, int captureID) {
27	super(TypeConstants.WILDCARD_CAPTURE_NAME, null, 0);	28	super(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX, null, 0);
28	this.wildcard = wildcard;	29	this.wildcard = wildcard;
29	this.modifiers = ClassFileConstants.AccPublic \| ExtraCompilerModifiers.AccGenericSignature; // treat capture as public	30	this.modifiers = ClassFileConstants.AccPublic \| ExtraCompilerModifiers.AccGenericSignature; // treat capture as public
30	this.fPackage = wildcard.fPackage;	31	this.fPackage = wildcard.fPackage;
31	this.sourceType = sourceType;	32	this.sourceType = sourceType;
32	this.position = position;	33	this.position = position;
		34	this.captureID = captureID;
33	}	35	}
34		36
35	/*	37	/*
Lines 54-61 Link Here
54	}	56	}
55		57
56	public String debugName() {	58	public String debugName() {
		59
57	if (this.wildcard != null) {	60	if (this.wildcard != null) {
58	return String.valueOf(TypeConstants.WILDCARD_CAPTURE_NAME) + this.wildcard.debugName();	61	StringBuffer buffer = new StringBuffer(10);
		62	buffer
		63	.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
		64	.append(this.captureID)
		65	.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
		66	.append(this.wildcard.debugName());
		67	return buffer.toString();
59	}	68	}
60	return super.debugName();	69	return super.debugName();
61	}	70	}
Lines 156-176 Link Here
156		165
157	public char[] readableName() {	166	public char[] readableName() {
158	if (this.wildcard != null) {	167	if (this.wildcard != null) {
159	return CharOperation.concat(TypeConstants.WILDCARD_CAPTURE_NAME, this.wildcard.readableName());	168	StringBuffer buffer = new StringBuffer(10);
		169	buffer
		170	.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
		171	.append(this.captureID)
		172	.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
		173	.append(this.wildcard.readableName());
		174	int length = buffer.length();
		175	char[] name = new char[length];
		176	buffer.getChars(0, length, name, 0);
		177	return name;
160	}	178	}
161	return super.readableName();	179	return super.readableName();
162	}	180	}
163		181
164	public char[] shortReadableName() {	182	public char[] shortReadableName() {
165	if (this.wildcard != null) {	183	if (this.wildcard != null) {
166	return CharOperation.concat(TypeConstants.WILDCARD_CAPTURE_NAME, this.wildcard.shortReadableName());	184	StringBuffer buffer = new StringBuffer(10);
		185	buffer
		186	.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
		187	.append(this.captureID)
		188	.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
		189	.append(this.wildcard.shortReadableName());
		190	int length = buffer.length();
		191	char[] name = new char[length];
		192	buffer.getChars(0, length, name, 0);
		193	return name;
167	}	194	}
168	return super.shortReadableName();	195	return super.shortReadableName();
169	}	196	}
170		197
171	public String toString() {	198	public String toString() {
172	if (this.wildcard != null) {	199	if (this.wildcard != null) {
173	return String.valueOf(TypeConstants.WILDCARD_CAPTURE_NAME) + this.wildcard.toString();	200	StringBuffer buffer = new StringBuffer(10);
		201	buffer
		202	.append(TypeConstants.WILDCARD_CAPTURE_NAME_PREFIX)
		203	.append(this.captureID)
		204	.append(TypeConstants.WILDCARD_CAPTURE_NAME_SUFFIX)
		205	.append(this.wildcard);
		206	return buffer.toString();
174	}	207	}
175	return super.toString();	208	return super.toString();
176	}	209	}