LWG3403 Domain of ranges::ssize(E) doesn't match ranges::size(E)

Author: burblebee

source/ranges.tex

@@ -330,6 +330,13 @@
 \tcode{x} explicitly converted to
 \tcode{\placeholdernc{make-unsigned-like-t}<X>}.
 
+\pnum
+Also within this Clause,
+\tcode{\exposid{make-signed-like-t}<X>} for an integer-like type \tcode{X}
+denotes \tcode{make_signed_t<X>} if \tcode{X} is an integer type;
+otherwise, it denotes a corresponding unspecified signed-integer-like type
+of the same width as \tcode{X}.
+
 \rSec1[range.access]{Range access}
 
 \rSec2[range.access.general]{General}
@@ -790,19 +797,17 @@
 \pnum
 The name \tcode{ranges::ssize} denotes
 a customization point object\iref{customization.point.object}.
-The expression \tcode{ranges::ssize(\brk{}E)}
-for a subexpression \tcode{E} of type \tcode{T}
-is expression-equivalent to:
-
-\begin{itemize}
-\item
-If \tcode{range_difference_t<T>} has width less than \tcode{ptrdiff_t},
-\tcode{static_cast<ptrdiff_t>(ranges::\linebreak{}size(E))}.
 
-\item
-Otherwise,
-\tcode{static_cast<range_difference_t<T>>(ranges::size(E))}.
-\end{itemize}
+\pnum
+Given a subexpression \tcode{E} with type \tcode{T},
+let \tcode{t} be an lvalue that denotes the reified object for \tcode{E}.
+If \tcode{ranges::size(t)} is ill-formed,
+\tcode{ranges::ssize(E)} is ill-formed.
+Otherwise let \tcode{D} be
+\tcode{\exposid{make-signed-like-t}<decltype(ranges::\brk{}size(t))>}, or
+\tcode{ptrdiff_t} if it is wider than that type;
+\tcode{ranges::ssize(E)} is expression-equivalent to
+\tcode{static_cast<D>(ranges::size(t))}.
 
 \rSec2[range.prim.empty]{\tcode{ranges::empty}}
 \indexlibraryglobal{empty}%