satisfies_argument_types was ignored