Re: [C++ Patch/RFC] PR 60608

[Jason Merrill]

On 07/14/2014 05:12 PM, Paolo Carlini wrote:

Thanks. This helps me a lot. In particular I see now, in tsubst_arg_types:

     /* Do array-to-pointer, function-to-pointer conversion, and ignore
        top-level qualifiers as required.  */
     type = cv_unqualified (type_decays_to (type));

which is exactly the ingredient we are missing.

I think we probably want to share the void and abstract checks too.

Jason