org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/testNew12/out/Test.java

package p;

class Test{
	void test(){
		B a= new A();
		test(a);
	}
	void test(B b){
		int y= b.f;
	}
}