Re: [PATCH] c++: requires-expr with dependent extra args [PR101181]

2021-07-09 Thread Patrick Palka via Gcc-patches
On Thu, 8 Jul 2021, Jason Merrill wrote: > On 7/8/21 11:28 AM, Patrick Palka wrote: > > Here we're crashing ultimately because the mechanism for delaying > > substitution into a requires-expression (or constexpr if) doesn't > > expect to see dependent args. But we end up capturing dependent > > a

Re: [PATCH] c++: requires-expr with dependent extra args [PR101181]

2021-07-08 Thread Jason Merrill via Gcc-patches
On 7/8/21 11:28 AM, Patrick Palka wrote: Here we're crashing ultimately because the mechanism for delaying substitution into a requires-expression (or constexpr if) doesn't expect to see dependent args. But we end up capturing dependent args here when substituting into the default template argum

[PATCH] c++: requires-expr with dependent extra args [PR101181]

2021-07-08 Thread Patrick Palka via Gcc-patches
Here we're crashing ultimately because the mechanism for delaying substitution into a requires-expression (or constexpr if) doesn't expect to see dependent args. But we end up capturing dependent args here when substituting into the default template argument during coerce_template_parms for the de