removed result_type