Rationale:

This is simply a contradiction: the argument_type typedef, and the argument type itself, are not the same.