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

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

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