https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83264
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't know what the "right" behaviour is. I don't think any compiler except GCC actually implements 2137, as it causes problems. I'm not even sure if this is a case where 2137 applies!