otherwise,
submdspan_mapping_result{layout_right_padded<S_static>::mapping(sub_ext,
stride(rank_-u-2)), offset}
if for a value u for which rank_−u−2 is
the largest value p smaller than rank_-1
for which Sp is a unit-stride slice for mapping,
the following conditions are met: