non-working has_result_type