[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 Andrew Pinski changed: What|Removed |Added Resolution|--- |DUPLICATE Status|UNCONFIRMED |RESOLVED Known to work||10.3.0, 11.1.0 Known to fail||10.2.0 --- Comment #6 from Andrew Pinski --- Dup of bug 96164. *** This bug has been marked as a duplicate of bug 96164 ***
[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 Pilar Latiesa changed: What|Removed |Added CC||pilarlatiesa at gmail dot com --- Comment #5 from Pilar Latiesa --- PR96164 was a duplicate of this one, and has been fixed by r11-2417-gdc3d1e181445fafbbd146eb355a750c41c338794. I believe that the fix hasn’t been backported to the GCC 10 branch yet, right?
[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 --- Comment #4 from Olivier Kannengieser --- The bug is still there in GCC 10.1, and was the cause of a question of stackoverflow: https://stackoverflow.com/questions/62659801/constrained-member-functions-and-explicit-template-instantiation
[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 --- Comment #3 from Andrzej Krzemienski --- The part of the Standard that requires this: http://eel.is/c++draft/temp.explicit#11
[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 Andrzej Krzemienski changed: What|Removed |Added Version|6.1.0 |10.0 Keywords||rejects-valid --- Comment #2 from Andrzej Krzemienski --- This bug is still present in GCC 10. It is present also in the clang trunk. But works fine in the previous experimental implementation of concepts in clang: https://godbolt.org/z/K4SaCm
[Bug c++/77595] concepts: constrained member functions illegally instantiated during explicit class template instantiation
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77595 --- Comment #1 from Andrzej Krzemienski --- I mean, the expectation is that member functions whose constraints are not satisfied should be omitted during explicit class template instantiation. See this discussion for more background: https://groups.google.com/a/isocpp.org/forum/?fromgroups#!topic/concepts/EZZjh_kFiJY