https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119726
--- Comment #2 from Anders Wind ---
Two questions:
I am a bit interested in why my original case is correctly rejecting the code,
but the following is not being rejected (A is no longer a template class).
```
struct A {
template
struc
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119726
Bug ID: 119726
Summary: Template Specialization of Inner class from Inherited
template class fails with: " too few
template-parameter-lists"
Product: gcc
Version
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119259
--- Comment #10 from Anders Wind ---
More interesting behavior: https://godbolt.org/z/K8cjEqTaa
```
#include
template
struct equatable {
T val;
// this does not
constexpr bool operator==(const equatable& o)const noexcept
requires
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119259
--- Comment #6 from Anders Wind ---
To give an example as to why it would be beneficial to not eagerly fail in this
case:
We have a template type which, just like my example, has operator==()=default
(as well as other functionality). This enable
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119259
Bug ID: 119259
Summary: compilation error: *constexpr* operator==(const T&)
const = default` forces compilation of std::vector's operator== function
Product: gcc
Version: 14.2.1
