[Godbolt](https://godbolt.org/z/vrEz41587). The `operator[]` definition is missing Concept definition: https://en.cppreference.com/w/cpp/iterator/random_access_iterator iterator marked with [RA Iterator category tag](https://github.com/martinmoene/ring-span-lite/blob/master/include/nonstd/ring_span.hpp#L947) Found this while porting some code from SFINAE to concepts. Minor hiccup