http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54348
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-21 20:08:02 UTC --- Indeed. About my own reply, I'm not sure, the wording here is pretty subtle, we already handle separately the ambiguous overloading case. ICC refers explicitly to the types being incompatible, maybe focusing on the types is more clear when the operator at issue cannot be overloaded.
