Quoting Peter Dimov <pdimov@mmltd.net>:
Peter Soetens wrote:
[...] I tried using boost::remove_pointer<F>, which didn't work and confirmed back then my assumption (confusingly, is_pointer<F> did work, but I could not remove it using type_traits...)
This is probably a bug (in the compiler or in type_traits); when is_pointer<F> reports true, remove_pointer<F> should work... I don't see this case covered by the type traits tests, but they aren't very readable, so I might've missed it. In any event, it won't hurt if you send a small test case to John Maddock.
I can't reproduce this anymore, so the error was probably between keyboard and chair. The examples of the remove_pointer docs didn't mention it either, so I gave up too early probably. Peter ---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.