Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Jason Merrill via Gcc-patches
On 4/29/20 12:05 AM, Patrick Palka wrote: On Tue, 28 Apr 2020, Jason Merrill wrote: On 4/28/20 3:19 PM, Patrick Palka wrote: On Tue, 28 Apr 2020, Patrick Palka wrote: On Tue, 28 Apr 2020, Jason Merrill wrote: On 4/28/20 1:41 PM, Patrick Palka wrote: On Tue, 28 Apr 2020, Patrick Palka wrot

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Patrick Palka via Gcc-patches
On Tue, 28 Apr 2020, Jason Merrill wrote: > On 4/28/20 3:19 PM, Patrick Palka wrote: > > On Tue, 28 Apr 2020, Patrick Palka wrote: > > > > > On Tue, 28 Apr 2020, Jason Merrill wrote: > > > > > > > On 4/28/20 1:41 PM, Patrick Palka wrote: > > > > > On Tue, 28 Apr 2020, Patrick Palka wrote: > > >

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Jason Merrill via Gcc-patches
On 4/28/20 3:19 PM, Patrick Palka wrote: On Tue, 28 Apr 2020, Patrick Palka wrote: On Tue, 28 Apr 2020, Jason Merrill wrote: On 4/28/20 1:41 PM, Patrick Palka wrote: On Tue, 28 Apr 2020, Patrick Palka wrote: On Tue, 28 Apr 2020, Jason Merrill wrote: On 4/28/20 9:48 AM, Patrick Palka wrote

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Patrick Palka via Gcc-patches
On Tue, 28 Apr 2020, Patrick Palka wrote: > On Tue, 28 Apr 2020, Jason Merrill wrote: > > > On 4/28/20 1:41 PM, Patrick Palka wrote: > > > On Tue, 28 Apr 2020, Patrick Palka wrote: > > > > > > > On Tue, 28 Apr 2020, Jason Merrill wrote: > > > > > On 4/28/20 9:48 AM, Patrick Palka wrote: > > > >

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Patrick Palka via Gcc-patches
On Tue, 28 Apr 2020, Jason Merrill wrote: > On 4/28/20 1:41 PM, Patrick Palka wrote: > > On Tue, 28 Apr 2020, Patrick Palka wrote: > > > > > On Tue, 28 Apr 2020, Jason Merrill wrote: > > > > On 4/28/20 9:48 AM, Patrick Palka wrote: > > > > > When printing the substituted parameter list of a requi

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Jason Merrill via Gcc-patches
On 4/28/20 1:41 PM, Patrick Palka wrote: On Tue, 28 Apr 2020, Patrick Palka wrote: On Tue, 28 Apr 2020, Jason Merrill wrote: On 4/28/20 9:48 AM, Patrick Palka wrote: When printing the substituted parameter list of a requires-expression as part of the "in requirements with ..." context line du

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Patrick Palka via Gcc-patches
On Tue, 28 Apr 2020, Patrick Palka wrote: > On Tue, 28 Apr 2020, Jason Merrill wrote: > > On 4/28/20 9:48 AM, Patrick Palka wrote: > > > When printing the substituted parameter list of a requires-expression as > > > part of the "in requirements with ..." context line during concepts > > > diagnost

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Patrick Palka via Gcc-patches
On Tue, 28 Apr 2020, Jason Merrill wrote: > On 4/28/20 9:48 AM, Patrick Palka 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

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Nathan Sidwell
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 multi

Re: [PATCH] c++: Parameter pack in requires parameter list [PR94808]

2020-04-28 Thread Jason Merrill via Gcc-patches
On 4/28/20 9:48 AM, Patrick Palka 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.