It's not obvious how to index it, because it's specified a bit strangely. Maybe one entry in [mdspan.sub.map.sliceable] where the rules on finding it via ADL are stated, and once for each friend declaration of it?