[C++ PATCH] function<->object pointer casts

[Giovanni Bajo]

Nathan Sidwell wrote:

>> This implements our conclusion of the function-object pointer cast
>> and DR195 discussion.

Since there was consensus to support this as an official GNU C++ extension for
the time being, I would like to see it properly documented in our manual, maybe
with a little rationale.

Giovanni Bajo