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

GB-090 21.3.5.4 [meta.unary. prop] Unnecessary precondition for is_aggregate #449

Closed
wg21bot opened this issue Oct 24, 2022 · 2 comments · Fixed by cplusplus/draft#5982
Closed

GB-090 21.3.5.4 [meta.unary. prop] Unnecessary precondition for is_aggregate #449

wg21bot opened this issue Oct 24, 2022 · 2 comments · Fixed by cplusplus/draft#5982
Assignees
@JeffGarland
Labels
accepted LWG Library lwg-ready
Milestone
CD C++23

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented Oct 24, 2022

The precondition for is_aggregate is "remove_all_extents_t<T> shall be a complete type or cv void." This means that is_aggregate_v<Incomplete[2]> is undefined, but an array is always an aggregate, we don't need a complete element type to know that.

Suggestion: T shall be a complete type, an array, or cv void.
@wg21bot wg21bot added the LWG Library label Oct 24, 2022
@wg21bot wg21bot added this to the CD C++23 milestone Oct 24, 2022
@jensmaurer jensmaurer changed the title GB 21.3.5.4 [meta.unary. prop] Unnecessary precondition for is_aggregate GB-090 21.3.5.4 [meta.unary. prop] Unnecessary precondition for is_aggregate Nov 3, 2022
@JeffGarland JeffGarland self-assigned this Nov 8, 2022
@JeffGarland
Copy link
Member

JeffGarland commented Nov 11, 2022 •
edited by jensmaurer
Loading

LWG3823

@jensmaurer jensmaurer mentioned this issue Dec 18, 2022
Merged
@jensmaurer
Copy link
Member

Accepted.

This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JeffGarland JeffGarland

Labels
accepted LWG Library lwg-ready
Projects
None yet
Milestone
CD C++23
Development

Successfully merging a pull request may close this issue.

[Motions 2022 11 lwg 8] P2704R0 C++ Standard Library Immediate Issues cplusplus/draft
3 participants
@JeffGarland @jensmaurer @wg21bot