https://gcc.gnu.org/bugzilla/show_bug.cgi?id=41958
frankhb1989 at gmail dot com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |frankhb1989 at gmail dot com --- Comment #10 from frankhb1989 at gmail dot com --- The example from IS [temp.func.order]/5 (introduced by http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3281.pdf) still fails. As per https://godbolt.org/z/6wq5Hx (from https://www.zhihu.com/question/55055208/answer/142424499), 4.6.4 is OK, but 4.7.1 is nonconforming. Not sure which change cause the behavior divergence; please confirm. (BTW, the original issue asked in the post is about PR 33807. It seems innocent. MSVC 15.8.2 does not have the operator== for allocator<T>; not sure it is correct, but MSVC does reject the example in this issue correctly. Nevertheless, I wonder the status of LWG 2472 and whether the resolution of LWG 280 have some related effects.)