Skip to content

[mdspan.layout.leftpad.cons] Add \expected. #8013

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

1uc
Copy link
Contributor

@1uc 1uc commented Jun 25, 2025

The description of

template<class LayoutLeftPaddedMapping>
  constexpr explicit(see below )
    mapping(const LayoutLeftPaddedMapping& other);

didn't separate Mandates and Preconditions. This commit adds an \expects to separate the two.

One can compare with the analogous section in [mdspan.layout.rightpad.cons]. I've uploaded the affected page std-p1079.pdf.

The description of

    template<class LayoutLeftPaddedMapping>
      constexpr explicit(see below )
        mapping(const LayoutLeftPaddedMapping& other);

didn't separate Mandates and Preconditions. This commit adds an
\expects to separate the two.
@1uc
Copy link
Contributor Author

1uc commented Jun 25, 2025

[mdspan.layout.leftpad.cons] (missing \expected): https://eel.is/c++draft/mdspan.layout.leftpad.cons#14

[mdspan.layout.rightpad.cons] (has \expected): https://eel.is/c++draft/mdspan.layout.rightpad.cons#14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant