I'm not sure about this; the standard says (for cbegin for example, but for the rest too):

If E is an rvalue and enable_­borrowed_­range<remove_­cv_­t<T>> is false, ranges​::​cbegin(E) is ill-formed. ([range.access.cbegin]/1.1)

They are also missing the very important Note 1 from ranges::begin (and also ranges::{end, rbegin, rend, size, empty}):

[Note 1: Diagnosable ill-formed cases above result in substitution failure when ranges​::begin(E) appears in the immediate context of a template instantiation. — end note] ([range.access.begin]/3)

What this says to me is that ranges::cbegin(T &&) (and the like) should be ill-formed (not a substitution failure) for all T that don't satisfy enable_borrowed_range<T>.

We talked about this at the weekly maintainer meeting, and concluded that when WG21-P2278R4 updated the Standard, the Note that appears for ranges::begin et al. should have been applied to ranges::cbegin et al., but the Note is (by definition) informative (i.e. non-normative), so the mandated behavior is the same for all of them. Therefore the diagnosable ill-formed cases do indeed result in substitution failure.

@strega-nil-ms has volunteered to submit a editorial issue (or PR) to the C++ draft. Thanks Nicole!

Submitted Draft-PR-6046.

I'm mirroring this to the MSVC-internal repo - please notify me if any further changes are pushed.

Thanks again for finding and fixing this, so the implementations are consistent! 😻 🔍 ✅