public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments
[not found] <bug-67860-4@http.gcc.gnu.org/bugzilla/>
@ 2015-10-19 8:18 ` chrisb2244 at gmail dot com
2020-04-29 16:26 ` ppalka at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: chrisb2244 at gmail dot com @ 2015-10-19 8:18 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67860
Christian Butcher <chrisb2244 at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |chrisb2244 at gmail dot com
--- Comment #1 from Christian Butcher <chrisb2244 at gmail dot com> ---
A (I hope) similar (and perhaps simpler) code producing this result is
###############################################
#include <algorithm>
template <typename T, typename... U>
concept bool AreType() {
return (std::is_same<T,U>::value && ...);
// return true; gives the same overloaded error
}
// Function with constraint
template<typename T, AreType<T>... U>
bool isValid(U... u) {
return true;
}
// Function with no constraint
template<typename T, typename... U>
bool isValid(U... u) {
return false;
}
int main() {
isValid<int>(1); // also isValid<int>(1, 2, 3); etc
}
###############################################
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments
[not found] <bug-67860-4@http.gcc.gnu.org/bugzilla/>
2015-10-19 8:18 ` [Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments chrisb2244 at gmail dot com
@ 2020-04-29 16:26 ` ppalka at gcc dot gnu.org
1 sibling, 0 replies; 2+ messages in thread
From: ppalka at gcc dot gnu.org @ 2020-04-29 16:26 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67860
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Target Milestone|--- |10.0
Status|UNCONFIRMED |RESOLVED
CC| |ppalka at gcc dot gnu.org
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 10 then.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-04-29 16:26 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <bug-67860-4@http.gcc.gnu.org/bugzilla/>
2015-10-19 8:18 ` [Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments chrisb2244 at gmail dot com
2020-04-29 16:26 ` 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).