http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53248
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-06 15:39:33 UTC --- Thanks Daniel. Since we had this issue for so much time, I guess we could as well wait a bit for the Committee to provide some feedback about the specialization option: in case there are no objections, just go with that. I would rather stay away from std::is_empty false, if we are fixing this.
