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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2020-01-30
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
            Summary|ICE if using dependent name |[10 Regression] ICE if
                   |inside lambda expression in |using dependent name inside
                   |simple-requirement          |lambda expression in
                   |                            |simple-requirement since
                   |                            |r10-3735-gcb57504a55015891
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started to ICE with r10-3735-gcb57504a55015891, before that we rejected that
like clang:

pr92556.cc:2:5: error: ‘requires’ does not name a type
    2 |     requires requires
      |     ^~~~~~~~
pr92556.cc: In function ‘int main()’:
pr92556.cc:15:14: error: no matching function for call to ‘f<int>()’
   15 |     f< int >() ;
      |              ^
pr92556.cc:17:12: error: no matching function for call to ‘f<S>()’
   17 |     f< S >() ;
      |            ^

$ clang++ pr92556.cc -c -std=c++2a
pr92556.cc:2:14: error: expected expression
    requires requires
             ^
pr92556.cc:15:5: error: use of undeclared identifier 'f'
    f< int >() ;
    ^
pr92556.cc:17:8: error: use of undeclared identifier 'S'
    f< S >() ;
       ^
3 errors generated.

Reply via email to