[boost] remove_pointer and pointers to members?

Folks, I'm trying to decide how to fix this bug report: https://svn.boost.org/trac/boost/ticket/2011 Basically what should: remove_pointer<int (foo::*)>::type be? Should it produce an int, or have no effect? TR1 explicitly says that it has no effect, so I guess I vote to stick with that behaviour. In which case, anyone object to a remove_member_pointer trait that transforms: int (foo::*) --> int int (foo::*)(double) --> int (double) etc. It's also tempting to add a "member_object" trait at the same time that transforms: int (foo::*) --> foo int (foo::*)(double) --> foo thoughts? Thanks, John.