Re: [PATCH] c++: Check uniqueness of concepts/variable templates [PR94553]

2020-06-29 Thread Jason Merrill via Gcc-patches
On 6/26/20 3:26 PM, Marek Polacek wrote: This patch wraps up PR94553. Variable template names have no C compatibility implications so they should be unique in their declarative region. It occurred to me that this applies to concepts as well. This is not specified in [basic.scope.declarative]/4

[PATCH] c++: Check uniqueness of concepts/variable templates [PR94553]

2020-06-26 Thread Marek Polacek via Gcc-patches
This patch wraps up PR94553. Variable template names have no C compatibility implications so they should be unique in their declarative region. It occurred to me that this applies to concepts as well. This is not specified in [basic.scope.declarative]/4.2 but that seems like a bug in the standar