On 05/30/2014 01:36 PM, Paolo Carlini wrote:
3- I understand Core/1227 as including the case of the late return type vs the parameters of generic lambdas, thus the rather heavy handed tweak to cp_parser_lambda_declarator_opt, which appears to work under the debugger (in the sense that for testcases like cpp1y/lambda-generic-cfun.C I checked that the on flag is still there in the eventual tsubst_function_type), but I need help about the conversion operator: should I do something in maybe_add_lambda_conv_op, thus propagate somehow from TREE_TYPE (callop)?!? In case, it would be easy, but I need help about the actual semantics we want (this isn't really about our impl, more about the specs of generic lambdas, sorry).
I don't think we need to worry about the conversion op, as it doesn't have any parameters.
The patch is OK. Jason