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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|unknown                     |10.0
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2020-03-11
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Is it really a valid code?
Started to ICE with r10-3735-gcb57504a55015891, before that we rejected the
code:

pr94128.cc:1:11: warning: use of ‘auto’ in parameter declaration only available
with ‘-fconcepts’
    1 | void test(auto param)
      |           ^~~~
pr94128.cc:2:3: error: ‘requires’ only available with ‘-fconcepts’
    2 |   requires requires{ { [](auto p){return p;}(param) }; };
      |   ^~~~~~~~
pr94128.cc:2:12: error: ‘requires’ was not declared in this scope
    2 |   requires requires{ { [](auto p){return p;}(param) }; };
      |            ^~~~~~~~
pr94128.cc: In function ‘void test(auto:1)’:
pr94128.cc:2:52: error: expected ‘;’ before ‘}’ token
    2 |   requires requires{ { [](auto p){return p;}(param) }; };
      |                                                    ^~

Reply via email to