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

[Motions 2023 11 cwg 1] P3046R0 Core Language Working Group "ready" Issues #6684

Merged
merged 44 commits into from Dec 17, 2023
Merged

[Motions 2023 11 cwg 1] P3046R0 Core Language Working Group "ready" Issues #6684

merged 44 commits into from Dec 17, 2023

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Nov 14, 2023 •
edited by jensmaurer

@burblebee burblebee marked this pull request as ready for review November 14, 2023 06:51
@tkoeppe tkoeppe self-assigned this Nov 14, 2023
@jensmaurer jensmaurer added this to the post-2023-11 milestone Nov 15, 2023
JohelEGP
JohelEGP suggested changes Nov 16, 2023
View reviewed changes
source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
@burblebee @tkoeppe
CWG2054 Missing description of class SFINAE
e6a9da6
@burblebee @tkoeppe
CWG2102 Constructor checking in new-expression
2290a03 
[dcl.init.general] Format to match previous itemized list and remove "then".
@burblebee @tkoeppe
CWG2252 Enumeration list-initialization from the same type
1cbe98e
@burblebee @tkoeppe
CWG2504 Inheriting constructors from virtual base classes
ead2f0a
@burblebee @tkoeppe
CWG2531 Static data members redeclared as constexpr
17ad6db
@burblebee @tkoeppe
CWG2556 Unusable promise::return_void
c1e3e24
@burblebee @tkoeppe
CWG2570 Clarify constexpr for defaulted functions
f5dde4d
@burblebee @tkoeppe
CWG2591 Implicit change of active union member for anonymous union in…
e3076f8 
… union
@burblebee @tkoeppe
CWG2595 "More constrained" for eligible special member functions
58a96f1
@burblebee @tkoeppe
CWG2600 Type dependency of placeholder types
c8cca13
@burblebee @tkoeppe
CWG2628 Implicit deduction guides should propagate constraints
bd18226
@burblebee @tkoeppe
CWG2672 Lambda body SFINAE is still required, contrary to intent and …
f303385 
…note
@burblebee @tkoeppe
CWG2725 Overload resolution for non-call of class member access
f3bed0c 
Also fixes CWG1038.
@burblebee @tkoeppe
CWG2733 Applying [[maybe_unused]] to a label
92b99b6
@burblebee @tkoeppe
CWG2747 Cannot depend on an already-deleted splice
c5b42c9 
Also fixes CWG1698.
@burblebee @tkoeppe
CWG2749 Treatment of "pointer to void" for relational comparisons
7b2b2e1
@burblebee @tkoeppe
CWG2753 Storage reuse for string literal objects and backing arrays
eed7b9c
@burblebee @tkoeppe
[intro.object] Use bullets to help clarify wording added in CWG2753.
6cb09a1
@burblebee @tkoeppe
CWG2754 Using *this in explicit object member functions that are coro…
07113e5 
…utines
@burblebee @tkoeppe
CWG2755 Incorrect wording applied by P2738R1
667129b
@burblebee @tkoeppe
CWG2758 What is "access and ambiguity control"?
73bb723
@burblebee @tkoeppe
CWG2759 [[no_unique_address] and common initial sequence
218cee1
@burblebee @tkoeppe
CWG2760 Defaulted constructor that is an immediate function
25dd302
@burblebee @tkoeppe
CWG2761 Implicitly invoking the deleted destructor of an anonymous un…
f41b535 
…ion member
@burblebee @tkoeppe
CWG2762 Type of implicit object parameter
65dd47b
@burblebee @tkoeppe
CWG2763 Ignorability of [[noreturn]] during constant evaluation
1227001
@burblebee @tkoeppe
CWG2764 Use of placeholders affecting name mangling
36a989c
@burblebee @tkoeppe
CWG2768 Assignment to enumeration variable with a braced-init-list
9539ea7
@burblebee @tkoeppe
CWG2772 Missing Annex C entry for linkage effects of linkage-specific…
155e163 
…ation
@burblebee @tkoeppe
CWG2780 reinterpret_cast to reference to function types
8ded370
@burblebee @tkoeppe
CWG2783 Handling of deduction guides in global-module-fragment
8f3ada9
@burblebee @tkoeppe
CWG2785 Type-dependence of requires-expression
05ac6f7
@burblebee @tkoeppe
CWG2789 Overload resolution with implicit and explicit object member …
520aa07 
…functions
@burblebee @tkoeppe
CWG2791 Unclear phrasing about "returning to the caller"
17cef3a
@burblebee @tkoeppe
CWG2792 Clean up specification of noexcept operator
084900d
@burblebee @tkoeppe
[expr.unary.noexcept] Fix reference to "unevaluated operand" added in C…
31ff201 
…WG2792.
@burblebee @tkoeppe
CWG2793 Block-scope declaration conflicting with parameter name
6fc65d5
@burblebee @tkoeppe
CWG2795 Overlapping empty subobjects with different cv-qualification
15f7b23
@burblebee @tkoeppe
CWG2796 Function pointer conversions for relational operators
4cba24d
@burblebee @tkoeppe
CWG2798 Manifestly constant evaluation of the static_assert message
55016c2
@burblebee @tkoeppe
CWG2801 Reference binding with reference-related types
7cb9798
@burblebee @tkoeppe
CWG2806 Make a type-requirement a type-only context
81f6035
@burblebee @tkoeppe
CWG2807 Destructors declared consteval
544c15f
@burblebee @tkoeppe
CWG2823 Implicit undefined behavior when dereferencing pointers
4fb5ad3
@tkoeppe tkoeppe merged commit db517f8 into main Dec 17, 2023
4 checks passed
@jensmaurer jensmaurer deleted the motions-2023-11-cwg-1 branch March 23, 2024 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JohelEGP JohelEGP JohelEGP approved these changes

Assignees

@tkoeppe tkoeppe

Labels
None yet
Projects
None yet
Milestone
post-2023-11
Development

Successfully merging this pull request may close these issues.

CWG2600 [expr.new] p2 should cover placeholder for a deduced class type CWG2600 [temp.dep.expr] Type dependency of new auto(T()) CWG2595 [special] Wording for eligible special member functions is missing a requirement CWG2571 [expr.sub] CWG2507 doesn't specify the evaluation order for default arguments CWG2556 [stmt.return.coroutine] Unusable promise::return_void
CWG2672 [temp.arg.deduct] Lambda body SFINAE is still required, contrary to intent and note CWG2823 [expr.unary.op] p1 should explicitly specify the behavior if the expression does not refer to the object or function CWG2102 [expr.new] Clarify if the constructor needs to be accessible for a class type when using new T[0] CWG2733 [dcl.attr.unused] Applying [[maybe_unused]] to a label CWG2754 [dcl.fct.def.coroutine] Cannot use "*this" in explicit object member function
4 participants
@burblebee @JohelEGP @tkoeppe @jensmaurer