http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 --- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-09 19:32:28 UTC --- The issue is what the "correct" definition of the trait is, but I think we need a DR to clarify it