This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112c. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Moved to DR at the October, 2012 meeting.]
Proposed resolution (December, 2011):
Change 7.2.1 [basic.lval] paragraph 4 as follows (supersedes the corresponding change in the resolution of issue 1059):
Class prvalues can have cv-qualified types; non-class prvalues always have cv-unqualified types.Unless otherwise indicated (18.104.22.168 [expr.call]), prvalues shall always have complete types or the void type; in addition to these types, glvalues can also have incomplete types.
Add a new paragraph following Clause 7 [expr] paragraph 5:
If an expression initially has the type “reference to T”...
Change 22.214.171.124 [expr.call] paragraph 3 as follows:
If the postfix-expression designates a destructor (11.4.7 [class.dtor]), the type of the function call expression is void; otherwise, the type of the function call expression is the return type of the statically chosen function (i.e., ignoring the virtual keyword), even if the type of the function actually called is different. This type shall be an object type, a reference type or
Change 126.96.36.199 [expr.type.conv] paragraph 2 as follows:
...[Note: if T is a non-class type that is cv-qualified, the cv-qualifiers are
ignoredwhen determining the type of the resulting prvalue ( 7.2.1 [basic.lval]). —end note]
Change 7.6.3 [expr.cast] paragraph 1 as follows:
...[Note: if T is a non-class type that is
cv-qualified, the cv-qualifiers are ignoredwhen determining the type of the resulting prvalue; see 7.2.1 [basic.lval]. —end note]