org.eclipse.jdt.ui.tests.refactoring/resources/RenameRecordElements/testRenameRecordCompactConstructorExplicitAccessor/in/B.java

package p;
class B{

	public int val() {
		A a= new A(10);
		return a.f();
	}
}