[Bug c++/92707] type alias on type alias on lambda in unevaluated context does not work

2024-04-13 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92707

Patrick Palka  changed:

   What|Removed |Added

 CC||elliot.haisley at gmail dot com

--- Comment #4 from Patrick Palka  ---
*** Bug 106221 has been marked as a duplicate of this bug. ***

[Bug c++/92707] type alias on type alias on lambda in unevaluated context does not work

2024-04-13 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92707

Andrew Pinski  changed:

   What|Removed |Added

   Target Milestone|--- |14.0
 Resolution|--- |FIXED
 Status|NEW |RESOLVED

--- Comment #3 from Andrew Pinski  ---
Note clang rejects the original testcase in comment #0 but EDG, MSVC all accept
it. Plus GCC now accepts it on the trunk.

So closing as fixed.

[Bug c++/92707] type alias on type alias on lambda in unevaluated context does not work

2024-04-09 Thread ppalka at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92707

Patrick Palka  changed:

   What|Removed |Added

 CC||fchelnokov at gmail dot com

--- Comment #2 from Patrick Palka  ---
*** Bug 114654 has been marked as a duplicate of this bug. ***

[Bug c++/92707] type alias on type alias on lambda in unevaluated context does not work

2023-05-31 Thread f.heckenbach--- via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92707

Frank Heckenbach  changed:

   What|Removed |Added

 CC||f.heckenb...@fh-soft.de

--- Comment #1 from Frank Heckenbach  ---
Probably the same bug in a slightly different form:

% cat test.cpp
template  struct S { };
template  using A = S ;
template  using B = A ;
B <0> a;
% g++ -std=c++20 -Wall -Wextra test.cpp
test.cpp:4:1: error: 'B' does not name a type
4 | B <0> a;
  | ^

It works when using A instead of B.
It works when using an alias for "decltype ([] { })".
Other compilers accept it as is.

Also, I find the message confusing (even if it was rightly rejected): Of
course, 'B' does not name a type. It's followed by template arguments, so 'B'
shouldn't be a type, but a template or template alias, or 'B <0>' should be a
type.

[Bug c++/92707] type alias on type alias on lambda in unevaluated context does not work

2020-01-30 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92707

Martin Liška  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
 Ever confirmed|0   |1