24 Ranges library [ranges]

24.3 Range access [range.access]

24.3.11 ranges​::​ssize [range.prim.ssize]

The name ranges​::​ssize denotes a customization point object ([customization.point.object]).
Given a subexpression E with type T, let t be an lvalue that denotes the reified object for E.
If ranges​::​size(t) is ill-formed, ranges​::​ssize(E) is ill-formed.
Otherwise let D be make-signed-like-t<decltype(ranges​::​​size(t))>, or ptrdiff_­t if it is wider than that type; ranges​::​ssize(E) is expression-equivalent to static_­cast<D>(ranges​::​size(t)).