public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/109338] New: `S<a_concept<int> auto>` isn't valid C++20
@ 2023-03-29 19:01 cjdb.ns at gmail dot com
2023-03-29 19:06 ` [Bug c++/109338] " pinskia at gcc dot gnu.org
2023-03-30 16:58 ` ppalka at gcc dot gnu.org
0 siblings, 2 replies; 3+ messages in thread
From: cjdb.ns at gmail dot com @ 2023-03-29 19:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109338
Bug ID: 109338
Summary: `S<a_concept<int> auto>` isn't valid C++20
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: cjdb.ns at gmail dot com
Target Milestone: ---
Clang and GCC disagree on whether or not this code is valid. This **may** be a
relic from the Concepts TS, which Clang doesn't implement.
https://godbolt.org/z/c7rGWE9s6
^ permalink raw reply [flat|nested] 3+ messages in thread* [Bug c++/109338] `S<a_concept<int> auto>` isn't valid C++20 2023-03-29 19:01 [Bug c++/109338] New: `S<a_concept<int> auto>` isn't valid C++20 cjdb.ns at gmail dot com @ 2023-03-29 19:06 ` pinskia at gcc dot gnu.org 2023-03-30 16:58 ` ppalka at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: pinskia at gcc dot gnu.org @ 2023-03-29 19:06 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109338 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Testcase: ``` template <class T, class U> concept C = true; template <class T> struct A {}; void f(A<C<int> auto >) {} ``` Please place the testcase in the comment or attach it; don't just link to godbolt. ^ permalink raw reply [flat|nested] 3+ messages in thread
* [Bug c++/109338] `S<a_concept<int> auto>` isn't valid C++20 2023-03-29 19:01 [Bug c++/109338] New: `S<a_concept<int> auto>` isn't valid C++20 cjdb.ns at gmail dot com 2023-03-29 19:06 ` [Bug c++/109338] " pinskia at gcc dot gnu.org @ 2023-03-30 16:58 ` ppalka at gcc dot gnu.org 1 sibling, 0 replies; 3+ messages in thread From: ppalka at gcc dot gnu.org @ 2023-03-30 16:58 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109338 Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED See Also|https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=96464 | Resolution|--- |DUPLICATE --- Comment #2 from Patrick Palka <ppalka at gcc dot gnu.org> --- I reckon it makes sense to call this a dup of PR96464 even, since we incorrectly accept with or without the type constraint. *** This bug has been marked as a duplicate of bug 96464 *** ^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2023-03-30 16:58 UTC | newest] Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2023-03-29 19:01 [Bug c++/109338] New: `S<a_concept<int> auto>` isn't valid C++20 cjdb.ns at gmail dot com 2023-03-29 19:06 ` [Bug c++/109338] " pinskia at gcc dot gnu.org 2023-03-30 16:58 ` ppalka 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).