<mdspan>: Implement missing precondition in layout_stride::mapping<E>'s constructor by JMazurkiewicz · Pull Request #5505 · microsoft/STL (original) (raw)

extents = [3, 0, 3, 0] strides = [1, 3, 1, 3] pairs = [(1, 3), (3, 0), (1, 3), (3, 0)] // these pairs satisfy our precondition after sorting = [(1, 3), (1, 3), (3, 0), (3, 0)] // false positive