[range.access.crbegin] (original) (raw)

Otherwise, let U be ranges​::​rbegin(possibly-const-range(t)).

ranges​::​crbegin(E) is expression-equivalent toconst_iterator<decltype(U)>(U).