http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-07 19:03:30 UTC --- c++std-lib-30708 has Daniel's explanation of his interpretation, as implemented in GCC. FWIW I prefer your interpretation, but will peace Daniel to comment further
