[Bug c++/80144] Concept introduced with "template" is not diagnosed

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80144

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
   Target Milestone|---                         |10.0
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 10+:
<source>:8:32: error: a variable concept cannot be constrained
    8 | template<Never T> concept bool Second = true;
      |                                ^~~~~~
<source>: In function 'int main()':
<source>:14:19: error: static assertion failed
   14 |     static_assert(!Second<void*>);  // static assertion failed
      |                   ^~~~~~~~~~~~~~