This implements changes discussed in LWG 2023/09/20, and resolved via later e-mail list discussion.
Define what it means for two mdspan to "overlap" each other. Replace "shall view a disjoint set of elements of" wording (was [linalg.concepts] 3 in R12) with "shall not overlap." "Alias" retains its R12 meaning (view the same elements in the same order). This lets us retain existing use of "alias" in describing algorithms.
This implements changes discussed in LWG 2023/09/20, and resolved via later e-mail list discussion.
Define what it means for two mdspan to "overlap" each other. Replace "shall view a disjoint set of elements of" wording (was [linalg.concepts] 3 in R12) with "shall not overlap." "Alias" retains its R12 meaning (view the same elements in the same order). This lets us retain existing use of "alias" in describing algorithms.