https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60420
--- Comment #5 from Daniel Krügler <daniel.kruegler at googlemail dot com> --- (In reply to Paolo Carlini from comment #2) > I'm looking into this, and I don't see how we can accept this kind of code > given 8.3.2: "Cv-qualified references are ill-formed except when the > cv-qualifiers are introduced through the use of a typedef (7.1.3) or of a > template type argument (14.3), in which case the cv-qualifiers are ignored.". > > Daniel, are you willing to comment? The current wording is: "Cv-qualified references are ill-formed except when the cv-qualifiers are introduced through the use of a typedef-name (7.1.3, 14.1) or decltype-specifier (7.1.6.2), in which case the cv-qualifiers are ignored." Note that this change came in via CWG 1510 addressing CD3: http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1510