[container.alloc.reqmts] Fix incorrect change of \mandates to \expects #6244
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This was incorrectly changed from a \mandates to an \expects when 93ff092 replaced the requirements tables.
jwakely
referenced
this pull request
May 5, 2023
and adjust cross-references to container requirements tables throughout the standard library.
|
It looks like that was the only |
|
Thanks a lot for spotting this! |
|
Thanks to @Dani-Hub for pointing out that the current draft said Preconditions there. |
|
Nothing escapes the watchful eye of @Dani-Hub -- thank you! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This was incorrectly changed from a \mandates to an \expects when 93ff092 replaced the requirements tables.
93ff092#diff-3b5851f7056b7c68cb3ba2ab51cf0b75a780c6a11e5e181770067700454ace7bL734 (click on "Load diff") shows the previous state, with
\mandates, and 93ff092#diff-3b5851f7056b7c68cb3ba2ab51cf0b75a780c6a11e5e181770067700454ace7bR1005 shows the new state, with\expects. That change was supposed to be editorial, but this is a normative change.