On 4/28/20 9:48 AM, Patrick Palka via Gcc-patches wrote:
When printing the substituted parameter list of a requires-expression as part of the "in requirements with ..." context line during concepts diagnostics, we weren't considering that substitution into a parameter pack can yield zero or multiple parameters.Since this patch affects only concepts diagnostics, so far I tested with RUNTESTFLAGS="dg.exp=*concepts*" and also verified that we no longer ICE with the unreduced testcase in the PR. Is this OK to commit after a full bootstrap and regtest? gcc/cp/ChangeLog: PR c++/94808 * error.c (print_requires_expression_info): Substitute into and collect all parameters in a vector first before printing them. Handle zero or multiple parameters of an expanded parameter pack.
ok, thanks -- Nathan Sidwell
