https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124070
Vlad Serebrennikov <serebrennikov.vladislav at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |serebrennikov.vladislav@gma
| |il.com
--- Comment #2 from Vlad Serebrennikov <serebrennikov.vladislav at gmail dot
com> ---
During my subsequent discussion with Dan, we came to agreement that the actual
wording for the original example is in [temp.arg.nontype]/2:
> A shall be a converted constant expression
I'm glad we don't need another Core issue, because I wasn't convinced that
[expr.const]/9.30 alone is enough here.
> Does that apply to defaulted function arguments too?
I'd say that there's no core constant expression "in-between" consteval block
and call to define_aggregate, so [expr.const]/9.30 doesn't trigger, and your
example looks well-formed to me.
