Proposed resolution (February, 2010): Change 9.2.6 [dcl.constexpr] paragraph 6 as follows:
A constexpr specifier for a non-static member function
that is not a constructor declares that member function to be
const (11.4.3 [class.mfct.non.static]). [Note: the
constexpr specifier has no other effect on the function
type. —end note] The keyword const is
ignored if it appears in the cv-qualifier-seq of the
function declarator of the declaration of such a member
function. The class of which that function is a member
shall be a literal type (6.9 [basic.types]). [Example:...
Notes from the July, 2009 meeting: The CWG agreed that a const qualifier on a constexpr
member function is simply redundant and not an error.