LWG3007 allocate_shared should rebind allocator to cv-unqualified value_type for construction

Author: Dawn Perchik

source/utilities.tex

@@ -9741,7 +9741,7 @@
   suitable to hold an object of type \tcode{U} and
   \tcode{a2} of type \tcode{A2} is a rebound copy of
   the allocator \tcode{a} passed to \tcode{allocate_shared}
-  such that its \tcode{value_type} is \tcode{U}.
+  such that its \tcode{value_type} is \tcode{remove_cv_t<U>}.
 \item
   When a (sub)object of non-array type \tcode{U} is specified to have
   a default initial value,
@@ -9758,7 +9758,7 @@
   suitable to hold an object of type \tcode{U} and
   \tcode{a2} of type \tcode{A2} is a rebound copy of
   the allocator \tcode{a} passed to \tcode{allocate_shared}
-  such that its \tcode{value_type} is \tcode{U}.
+  such that its \tcode{value_type} is \tcode{remove_cv_t<U>}.
 \item
   Array elements are initialized in ascending order of their addresses.
 \item