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

package p;
class Test{
	void test(){
		A a= new A();
		f(a);
	}
	void f(A a){
		a.getClass();
	}
}