http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53657
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-06-20 15:15:46 UTC --- Ah, thanks Daniel. Thus I guess we should do this change and then also implement core/1402 ASAP, because otherwise in many circumstances the users would not be that happy. Are you willing to open a GCC Bugzilla with Jason too in CC about core/1402 and referring to this one?