LWG3461 convertible_to's description mishandles cv-qualified void

Author: burblebee

source/concepts.tex

@@ -331,8 +331,8 @@
 
 \pnum
 Given types \tcode{From} and \tcode{To} and
-an expression \tcode{E} such that
-\tcode{decltype((E))} is \tcode{add_rvalue_reference_t<From>},
+an expression \tcode{E}
+whose type and value category are the same as those of \tcode{declval<From>()},
 \tcode{\libconcept{convertible_to}<From, To>} requires \tcode{E}
 to be both implicitly and explicitly convertible to type \tcode{To}.
 The implicit and explicit conversions are required to produce equal