nameless struct leads to deleted operator== with no diagnostics

[tiagomacarios]

The following code: https://godbolt.org/z/rM83Md9jT

struct S {
    struct {
        bool b;
    };

    bool operator==(const S&) const noexcept = default;
};

bool f(S const& a, S const& b) { return a == b; }

int main() {}

Fails at link time with:

<source>:9:(.text+0x19): undefined reference to `S::operator==(S const&) const'

gcc diagnostics are much better and earlier (compile time):

<source>:9:46: error: use of deleted function 'constexpr bool S::operator==(const S&) const'
    9 | bool f(S const& a, S const& b) { return a == b; }
      |                                              ^
<source>:6:10: note: 'constexpr bool S::operator==(const S&) const' is implicitly deleted because the default definition would be ill-formed:
    6 |     bool operator==(const S&) const noexcept = default;
      |          ^~~~~~~~
<source>:2:5: error: no match for 'operator==' (operand types are 'S::<unnamed struct>' and 'S::<unnamed struct>')
    2 |     struct {
      |     ^~~~~~

Could we add the same warning as gcc?

[MitalAshok]

Definitely a bug. This related snippet:

struct S {
    struct {
        bool b;
    };

    bool operator==(const S&) const noexcept;
};

bool S::operator==(const S&) const noexcept = default;

bool f(S const& a, S const& b) { return a == b; }

is invalid but causes a crash https://godbolt.org/z/1Kj4s8axT

<source>:11:41: error: cannot compile this scalar expression yet
   11 | bool f(S const& a, S const& b) { return a == b; }
      |                                         ^~~~~~
Unexpected placeholder builtin type!
UNREACHABLE executed at /root/llvm-project/clang/lib/CodeGen/CodeGenTypes.cpp:542!

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: Tiago (tiagomacarios)

The following code: https://godbolt.org/z/rM83Md9jT ``` struct S { struct { bool b; }; bool operator==(const S&) const noexcept = default; }; bool f(S const& a, S const& b) { return a == b; } int main() {} ``` Fails at link time with: ``` <source>:9:(.text+0x19): undefined reference to `S::operator==(S const&) const' ``` gcc diagnostics are much better and earlier (compile time): ``` <source>:9:46: error: use of deleted function 'constexpr bool S::operator==(const S&) const' 9 | bool f(S const& a, S const& b) { return a == b; } | ^ <source>:6:10: note: 'constexpr bool S::operator==(const S&) const' is implicitly deleted because the default definition would be ill-formed: 6 | bool operator==(const S&) const noexcept = default; | ^~~~~~~~ <source>:2:5: error: no match for 'operator==' (operand types are 'S::<unnamed struct>' and 'S::<unnamed struct>') 2 | struct { | ^~~~~~ ``` Could we add the same warning as gcc?

[shafik]

Worth noting edg/MSVC accept, the original example: https://godbolt.org/z/GMv36vYKr

CC @Endilll

[zygoloid]

Ideally it seems like we should accept this, and compare the anonymous struct member elementwise.