You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The type-id in a trailing-return-type includes the longest possible sequence of _abstract-declarator_s.
However, the grammar of trailing-return-type (which is " ->trailing-type-specifier-seqabstract-declaratoropt") does not contain a type-id.
Moreover, I cannot find any ambiguity in the accompanying example. Perhaps this disambiguation rule is no longer necessary after the adoption of CWG 681.
The text was updated successfully, but these errors were encountered:
I agree that both the normative text and the example are wrong. It does look like the disambiguation rule is no longer needed, but removing a normative rule (even one that we believe has no effect) is non-editorial. I'll forward this to CWG.
[dcl.decl] p5 says
However, the grammar of trailing-return-type (which is " -> trailing-type-specifier-seq abstract-declaratoropt") does not contain a type-id.
Moreover, I cannot find any ambiguity in the accompanying example. Perhaps this disambiguation rule is no longer necessary after the adoption of CWG 681.
The text was updated successfully, but these errors were encountered: