§4.7.(d) replace

In contrast to §4.7.(c) above, a replace callin binding cannot bind a static role method to a non-static base method.