Re: [PATCH] c++: constrained CTAD for nested class template [PR97679]

2021-04-08 Thread Jason Merrill via Gcc-patches
On 4/7/21 5:33 PM, Patrick Palka wrote: In the testcase below, we're crashing during constraint checking of the implicitly generated deduction guides for the nested class template A::B because we never substitute the outer template arguments (for A) into the constraint, neither ahead of time nor

[PATCH] c++: constrained CTAD for nested class template [PR97679]

2021-04-07 Thread Patrick Palka via Gcc-patches
In the testcase below, we're crashing during constraint checking of the implicitly generated deduction guides for the nested class template A::B because we never substitute the outer template arguments (for A) into the constraint, neither ahead of time nor as part of satisfaction. Ideally we'd lik