------- Additional Comments From austern at apple dot com 2005-01-03 21:46 ------- 9.3/9 isn't the most relevant part of the standard. Yes, that gives an example showing that this syntax is legal, but examples are non-normative. They're mostly useful for establishing the intent of the committee.
The relevant normative text is in 8.3.5/4, which makes it quite clear that cv-qualifiers are allowed in typedefs for function types and which explains what they mean. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=6628
