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