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

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