http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51083
--- Comment #12 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-11-10 19:50:32 UTC --- Oh, yes, if you want, please do that, the patch becomes very small!, but also add a one line comment before __promote explaining the trick (I don't remember if we added one for the iterator_traits one... )