org.eclipse.jdt.ui.tests.refactoring/resources/UseSupertypeWherePossible/testNew14/in/Test.java

package p;

class Test{
	void test(){
		A a= null;
		test(a);
	}
	void test(A b){
		b.foo();
	}
}