Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[optional.syn] is the wrong place to state requirements on std::optional #2096

Closed
jwakely opened this issue Jun 6, 2018 · 0 comments
Closed

[optional.syn] is the wrong place to state requirements on std::optional #2096

jwakely opened this issue Jun 6, 2018 · 0 comments
Assignees
@jensmaurer
Milestone
C++20 IS

Comments

@jwakely
Copy link
Member

jwakely commented Jun 6, 2018

After the synopsis for the <optional> header we have:

A program that necessitates the instantiation of template optional for a reference type, or for possibly
cv-qualified types in_place_t or nullopt_t is ill-formed.

But this should be in [optional.optional] after the class template synopsis, not the header synopsis. In [optional.optional] we also have:

T shall be an object type and shall satisfy the Destructible requirements (Table 27).

The text from [optional.syn] should be moved and merged with this.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
C++20 IS
Development

No branches or pull requests
2 participants
@jwakely @jensmaurer