https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102289
Bug ID: 102289
Summary: Concept declaration with multiple template-heads not
diagnosed
Product: gcc
Version: 12.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: barry.revzin at gmail dot com
Target Milestone: ---
gcc trunk accepts this:
template <typename T>
template <typename U>
concept C = true;
I'm not sure exactly what gcc does with it, but C does become a real concept,
and this leads to other strange things happening down the line (reduced from:
https://stackoverflow.com/q/69143991/2069064)
