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).