New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[expr.prim.lambda] Move operator() return type description #4069
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Please rework a bit.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
still more changes
reformat operator() declaration description
\item \grammarterm{parameter-declaration-clause} is the \grammarterm{lambda-declarator}'s | ||
\grammarterm{parameter-declaration-clause}, | ||
|
||
\item return type is \tcode{auto}, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think that this isn't the return type, so much as it is the type in the decl-specifier-seq. (The declared return type is determined by the trailing-return-type if any, and the actual return type is what we deduce. Per [dcl.spec.auto.general]p3, the auto
is just something that can appear in the decl-specifier-seq; it's not really a return type at all.) So:
\item return type is \tcode{auto}, | |
\item \grammarterm{decl-specifier-seq} is the \grammarterm{lambda-declarator}'s \grammarterm{decl-specifier-seq} followed by \keyword{auto}, except that \keyword{constexpr} is also included if [...] |
Also... should we say something about the attribute-specifier-seq?
@languagelawyer , this needs a bit more work. |
Can you please rebase, and address the open comments? |
@languagelawyer, ping. |
Please reopen if you would like to continue with this. |
No description provided.