https://bugs.llvm.org/show_bug.cgi?id=49695

            Bug ID: 49695
           Summary: Clang accepts concept definition with syntax error
           Product: clang
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: C++2a
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected], [email protected],
                    [email protected], [email protected]

template <typename T>
concept C = requires {
  requires { true; };
};

https://godbolt.org/z/d5x9s78hK

This code should not be compiled since '{ true; };' is not a
constraint-expression.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to