http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51577
--- Comment #4 from Daniel Krügler <daniel.kruegler at googlemail dot com> 2013-04-13 11:26:25 UTC --- (In reply to comment #3) > The example in PR 56943 gives a wrong-code example Could you explain why? It looks valid to me. According to my understanding, the free operator+ overload in global namespace is no valid candidate, but the member operator+ of N::A is one.