public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/110797] New: GCC rejects std::template same_as<int> form
@ 2023-07-25 6:32 hewillk at gmail dot com
2023-07-25 7:12 ` [Bug c++/110797] template keyword used as a distinguisher with concept to reject for auto usage pinskia at gcc dot gnu.org
2023-07-25 7:14 ` pinskia at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: hewillk at gmail dot com @ 2023-07-25 6:32 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110797
Bug ID: 110797
Summary: GCC rejects std::template same_as<int> form
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: hewillk at gmail dot com
Target Milestone: ---
#include <concepts>
[[maybe_unused]] std::template same_as<int> auto i = 0;
I accidentally found that GCC rejected the above code, not sure if this is
valid code.
https://godbolt.org/z/edd6zx5df
^ permalink raw reply [flat|nested] 3+ messages in thread* [Bug c++/110797] template keyword used as a distinguisher with concept to reject for auto usage 2023-07-25 6:32 [Bug c++/110797] New: GCC rejects std::template same_as<int> form hewillk at gmail dot com @ 2023-07-25 7:12 ` pinskia at gcc dot gnu.org 2023-07-25 7:14 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-07-25 7:12 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110797 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Summary|GCC rejects std::template |template keyword used as a |same_as<int> form |distinguisher with concept | |to reject for auto usage Keywords| |rejects-valid --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Reduced testcase: ``` namespace tt { template<typename a, typename b> concept t = true; } tt::template t<int> auto i = 0; ``` ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/110797] template keyword used as a distinguisher with concept to reject for auto usage 2023-07-25 6:32 [Bug c++/110797] New: GCC rejects std::template same_as<int> form hewillk at gmail dot com 2023-07-25 7:12 ` [Bug c++/110797] template keyword used as a distinguisher with concept to reject for auto usage pinskia at gcc dot gnu.org @ 2023-07-25 7:14 ` pinskia at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-07-25 7:14 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110797 Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=107188 Last reconfirmed| |2023-07-25 Ever confirmed|0 |1 Status|UNCONFIRMED |NEW --- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed. Very much related to PR 107188 . ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-07-25 7:14 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2023-07-25 6:32 [Bug c++/110797] New: GCC rejects std::template same_as<int> form hewillk at gmail dot com 2023-07-25 7:12 ` [Bug c++/110797] template keyword used as a distinguisher with concept to reject for auto usage pinskia at gcc dot gnu.org 2023-07-25 7:14 ` pinskia at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).