Re: [PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-13 Thread Patrick Palka via Gcc-patches
On Tue, 13 Apr 2021, Jason Merrill wrote: > On 4/13/21 8:41 AM, Jason Merrill wrote: > > On 4/12/21 6:24 PM, Patrick Palka wrote: > > > On Mon, 12 Apr 2021, Jason Merrill wrote: > > > > > > > On 4/10/21 3:57 PM, Patrick Palka wrote: > > > > > Here, in C++17 mode, we only pedwarn about the use of

Re: [PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-13 Thread Jason Merrill via Gcc-patches
On 4/13/21 8:41 AM, Jason Merrill wrote: On 4/12/21 6:24 PM, Patrick Palka wrote: On Mon, 12 Apr 2021, Jason Merrill wrote: On 4/10/21 3:57 PM, Patrick Palka wrote: Here, in C++17 mode, we only pedwarn about the use of alias CTAD and then later ICE from alias_ctad_tweaks when attempting to ad

Re: [PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-13 Thread Jason Merrill via Gcc-patches
On 4/12/21 6:24 PM, Patrick Palka wrote: On Mon, 12 Apr 2021, Jason Merrill wrote: On 4/10/21 3:57 PM, Patrick Palka wrote: Here, in C++17 mode, we only pedwarn about the use of alias CTAD and then later ICE from alias_ctad_tweaks when attempting to add a constraint to one of the guides. Sinc

Re: [PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-12 Thread Patrick Palka via Gcc-patches
On Mon, 12 Apr 2021, Jason Merrill wrote: > On 4/10/21 3:57 PM, Patrick Palka wrote: > > Here, in C++17 mode, we only pedwarn about the use of alias CTAD and > > then later ICE from alias_ctad_tweaks when attempting to add a > > constraint to one of the guides. Since the construction of the guide

Re: [PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-12 Thread Jason Merrill via Gcc-patches
On 4/10/21 3:57 PM, Patrick Palka wrote: Here, in C++17 mode, we only pedwarn about the use of alias CTAD and then later ICE from alias_ctad_tweaks when attempting to add a constraint to one of the guides. Since the construction of the guides of an alias template effectively relies on concepts,

[PATCH] c++: Reject alias CTAD in C++17 [PR99008]

2021-04-10 Thread Patrick Palka via Gcc-patches
Here, in C++17 mode, we only pedwarn about the use of alias CTAD and then later ICE from alias_ctad_tweaks when attempting to add a constraint to one of the guides. Since the construction of the guides of an alias template effectively relies on concepts, we shouldn't be permissive about alias CTAD