org.eclipse.jdt.ui.tests.refactoring/resources/RenameRecordComponentField/test0/in/A.java

package p;
record A(int f){
	A{
		this.f= f;
	}
	
	public void val(int f) {
		
	}

	public int getVal() {
		return f();
	}
}