org.eclipse.jdt.ui.tests.refactoring/resources/TypeConstraints/A_testConstraints3.java

package p;
class A{
	void f(){
		for (A a= null, b= null;;){
		}
	}
}