On 6/23/20 6:58 PM, Marek Polacek wrote:
95568 complains that CTAD for aggregates doesn't work within
requires-clause and it turned out that it doesn't work when we try
the deduction in a template. The reason is that maybe_aggr_guide
creates a guide that can look like this
template<class T> X(decltype (X<T>::x))-> X<T>
Then that's the bug; there's no reason the guide should be different
just because we're trying to do the deduction in a template.
I'm not sure why I used finish_decltype_type there.
Jason
