C++ PATCH for const_cast

[Jason Merrill]

>>>>> Gabriel Dos Reis <Gabriel.Dos_Reis@sophia.inria.fr> writes:

 > Oh, I see. But from the descriptions 5.2.11/1 to 5.2.11/11 it appears
 > that const_cast can't be used with non *object* type. In case of
 > pointer-const_cast, the target type must be a 'pointer to object type'
 > or 'void'. The non-normative paragraph 5.2.11/12 says:

Pointers to data members are also OK.

Jason