------- Comment #10 from paolo dot carlini at oracle dot com 2008-11-05 01:25 ------- (In reply to comment #9) > That said, here's a patch that updates result_of and reference_wrapper to work > for pointers to members as well as callable types, using result_of in place of > the Callable concept. If result_of and reference_wrapper really shouldn't > work > for pointers to members then this patch would be much simpler, and there's no > need for __invoke() either.
Excellent Jon. Please, commit the patch and let's close the PR for 4.4. A couple of minor nits, if you want: you can remove the main of result_of_neg, being a compile-only testcase; also I think a commented-out VERIFY in result_of can be just removed entirely. Thanks again! (let me know if for some reason you have trouble committing) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24803