org.eclipse.jdt.ui.tests.refactoring/resources/TypeConstraints/A_testConstraints12.java

package p;
class A{
	static A f(A a0, Object a1){
		return null;
	}
}
class B extends A{
	static A f(A a3, Object a4){
		return null;
	}
}