[Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments

[ppalka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67860

Patrick Palka  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  ---
Fixed for GCC 10 then.

[Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments

[andrew.n.sutton at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67860

Andrew Sutton  changed:

   What|Removed |Added

 CC||andrew.n.sutton at gmail dot 
com

--- Comment #2 from Andrew Sutton  ---
Created attachment 46834
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46834&action=edit
Patch against concepts-cxx2a to add test (git format-patch format)

This appears to have been resolved concepts-cxx2a. Patch adds a test for the
PR.

[Bug c++/67860] [concepts] bug with overloaded, refined function with explicit and variadic template arguments

[chrisb2244 at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67860

Christian Butcher  changed:

   What|Removed |Added

 CC||chrisb2244 at gmail dot com

--- Comment #1 from Christian Butcher  ---
A (I hope) similar (and perhaps simpler) code producing this result is

###
#include 

template 
concept bool AreType() {
return (std::is_same::value && ...);
// return true; gives the same overloaded error
}

// Function with constraint
template... U>
bool isValid(U... u) {
return true;
}

// Function with no constraint
template
bool isValid(U... u) {
return false;
}

int main() {
isValid(1); // also isValid(1, 2, 3); etc
}

###