$ 0 0 "Is it because the requires clause induce a change in the prototype, and then it does not overload exactly the same function ?" Yes.