[Bug c++/71543] [concepts] ICE on ill-formed declaration of a parameter with a constrained-type-specifier in a requires expression

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.0
      Known to work|                            |10.1.0
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 10+
<source>:5:28: error: placeholder type not allowed in this context
    5 | concept bool C2 = requires(C1 c1) {};
      |                            ^~
<source>:5:36: error: expected primary-expression before '}' token
    5 | concept bool C2 = requires(C1 c1) {};
      |                                    ^
<source>:5:36: error: expected ';' before '}' token
    5 | concept bool C2 = requires(C1 c1) {};
      |                                    ^
      |                                    ;