public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/93103] Generic function syntax does not check return concept
[not found] <bug-93103-4@http.gcc.gnu.org/bugzilla/>
@ 2020-05-08 13:01 ` ppalka at gcc dot gnu.org
2020-05-08 16:05 ` mateusz.pusz at gmail dot com
` (2 subsequent siblings)
3 siblings, 0 replies; 4+ messages in thread
From: ppalka at gcc dot gnu.org @ 2020-05-08 13:01 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |DUPLICATE
CC| |ppalka at gcc dot gnu.org
Status|UNCONFIRMED |RESOLVED
--- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Looks like this is a dup of PR92187, which should already be fixed in GCC 10.
*** This bug has been marked as a duplicate of bug 92187 ***
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/93103] Generic function syntax does not check return concept
[not found] <bug-93103-4@http.gcc.gnu.org/bugzilla/>
2020-05-08 13:01 ` [Bug c++/93103] Generic function syntax does not check return concept ppalka at gcc dot gnu.org
@ 2020-05-08 16:05 ` mateusz.pusz at gmail dot com
2020-05-08 16:22 ` ppalka at gcc dot gnu.org
2020-05-08 17:55 ` mateusz.pusz at gmail dot com
3 siblings, 0 replies; 4+ messages in thread
From: mateusz.pusz at gmail dot com @ 2020-05-08 16:05 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #2 from Mateusz Pusz <mateusz.pusz at gmail dot com> ---
It might be a regression because I remember it working fine. Now it fails
again. Check here: https://godbolt.org/z/-K39X7.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/93103] Generic function syntax does not check return concept
[not found] <bug-93103-4@http.gcc.gnu.org/bugzilla/>
2020-05-08 13:01 ` [Bug c++/93103] Generic function syntax does not check return concept ppalka at gcc dot gnu.org
2020-05-08 16:05 ` mateusz.pusz at gmail dot com
@ 2020-05-08 16:22 ` ppalka at gcc dot gnu.org
2020-05-08 17:55 ` mateusz.pusz at gmail dot com
3 siblings, 0 replies; 4+ messages in thread
From: ppalka at gcc dot gnu.org @ 2020-05-08 16:22 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Aren't we correct to reject both calls? The deduced return type for both is
'double', which does not model Integral.
I thought the problem was that we were correctly rejecting the first call but
failing to reject the second call.
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug c++/93103] Generic function syntax does not check return concept
[not found] <bug-93103-4@http.gcc.gnu.org/bugzilla/>
` (2 preceding siblings ...)
2020-05-08 16:22 ` ppalka at gcc dot gnu.org
@ 2020-05-08 17:55 ` mateusz.pusz at gmail dot com
3 siblings, 0 replies; 4+ messages in thread
From: mateusz.pusz at gmail dot com @ 2020-05-08 17:55 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93103
--- Comment #4 from Mateusz Pusz <mateusz.pusz at gmail dot com> ---
I am so sorry. My bad. You are right. It seems to be fixed indeed.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-05-08 17:55 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-93103-4@http.gcc.gnu.org/bugzilla/>
2020-05-08 13:01 ` [Bug c++/93103] Generic function syntax does not check return concept ppalka at gcc dot gnu.org
2020-05-08 16:05 ` mateusz.pusz at gmail dot com
2020-05-08 16:22 ` ppalka at gcc dot gnu.org
2020-05-08 17:55 ` mateusz.pusz at gmail dot com
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).