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;
	}
}