Re: [PATCH] c++: Add test for c++/93807

2020-04-22 Thread Jason Merrill via Gcc-patches
On 4/21/20 6:29 PM, Marek Polacek wrote: This PR was initially accepts-invalid, but I think it's actually valid C++20 code. My reasoning is that in C++20 we no longer require the declaration of operator== (#if-defed in the test), because C++20's [temp.names]/2 says "A name is also considered to

[PATCH] c++: Add test for c++/93807

2020-04-21 Thread Marek Polacek via Gcc-patches
This PR was initially accepts-invalid, but I think it's actually valid C++20 code. My reasoning is that in C++20 we no longer require the declaration of operator== (#if-defed in the test), because C++20's [temp.names]/2 says "A name is also considered to refer to a template if it is an unqualified