On 1/23/20 4:31 AM, Paolo Carlini wrote:
Hi,
On 22/01/20 22:32, Jason Merrill wrote:
On 1/22/20 3:31 PM, Paolo Carlini wrote:
Hi,
On 22/01/20 17:27, Jason Merrill wrote:
On 1/22/20 10:22 AM, Paolo Carlini wrote:
Hi,
in this simple issue we either wrongly talked about variable
template-id in c++17 mode or ICEd in c++2a. I think we simply want
to handle concept-ids first, both as represented in c++17 mode and
as represented in c++2a mode. Tested x86_64-linux.
What happens if you try to use a function template/function concept
name?
AFAICS no ICEs, no regressions but indeed we can do better, tell
concepts from function templates. The below does that and passes
testing but I'm not sure if the wording is optimal, whether we always
want to talk about concept-id.
I think it's fine either way.
+// { dg-do compile { target c++17 } }
+// { dg-options "-w -fconcepts" }
Does it work to use -fconcepts-ts instead of -w -fconcepts?
Sure, it does. Attached what I tested.
OK.
