http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58982
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Well, something closer to a correct minimal fix would be is_trivial && is_copy_assignable. Jon, I think that in general in this file minimal fixes would involve && with the existing is_trivial.