Template:cpp/container/mdspan/dsc is always exhaustive