CWG2895 Initialization should ignore the destination type's cv-qualification

Author: burblebee

source/declarations.tex

@@ -4710,7 +4710,7 @@
 The
 \indextext{type!destination}%
 \term{destination type}
-is the type of the object or reference being initialized and the
+is the cv-unqualified type of the object or reference being initialized and the
 \term{source type}
 is the type of the initializer expression.
 If the initializer is not a single (possibly parenthesized) expression, the
@@ -4771,21 +4771,21 @@
 is sequenced before those associated with
 the initialization of the $j^\text{th}$ element.
 \item
-Otherwise, if the destination type is a (possibly cv-qualified) class type:
+Otherwise, if the destination type is a class type:
 
 \begin{itemize}
 \item
 If the initializer expression is a prvalue
 and the cv-unqualified version of the source type
-is the same class as the class of the destination,
+is the same as the destination type,
 the initializer expression is used to initialize the destination object.
 \begin{example}
 \tcode{T x = T(T(T()));} value-initializes \tcode{x}.
 \end{example}
 \item
 Otherwise, if the initialization is direct-initialization,
 or if it is copy-initialization where the cv-unqualified version of the source
-type is the same class as, or a derived class of, the class of the destination,
+type is the same as or is derived from the class of the destination type,
 constructors are considered.
 The applicable constructors
 are enumerated\iref{over.match.ctor}, and the best one is chosen
@@ -4882,7 +4882,7 @@
 the (possibly converted) value of the initializer expression.
 A standard conversion sequence\iref{conv} is used
 to convert the initializer expression to
-a prvalue of the cv-unqualified version of
+a prvalue of
 the destination type;
 no user-defined conversions are considered.
 If the conversion cannot