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 2024 03 cwg 1] P3196R0 (Core Language Working Group "ready" Issues) #6906

Merged
merged 47 commits into from Apr 15, 2024
Merged

[Motions 2024 03 cwg 1] P3196R0 (Core Language Working Group "ready" Issues) #6906

merged 47 commits into from Apr 15, 2024

Conversation

burblebee
Copy link
Contributor

@burblebee burblebee commented Mar 27, 2024 •
edited by jensmaurer

Fixes #6863.
Fixes cplusplus/papers#1851

Fixes cplusplus/CWG#84
Fixes cplusplus/CWG#85
Fixes cplusplus/CWG#80
Fixes cplusplus/CWG#172
Fixes cplusplus/CWG#146
Fixes cplusplus/CWG#195
Fixes cplusplus/CWG#193
Fixes cplusplus/CWG#223
Fixes cplusplus/CWG#234
Fixes cplusplus/CWG#290
Fixes cplusplus/CWG#339
Fixes cplusplus/CWG#366
Fixes cplusplus/CWG#331
Fixes cplusplus/CWG#332
Fixes cplusplus/CWG#374
Fixes cplusplus/CWG#434
Fixes cplusplus/CWG#428
Fixes cplusplus/CWG#422
Fixes cplusplus/CWG#411
Fixes cplusplus/CWG#40
Fixes cplusplus/CWG#457
Fixes cplusplus/CWG#458
Fixes cplusplus/CWG#459
Fixes cplusplus/CWG#493
Fixes cplusplus/CWG#489
Fixes cplusplus/CWG#490
Fixes cplusplus/CWG#456
Fixes cplusplus/CWG#495
Fixes cplusplus/CWG#492
Fixes cplusplus/CWG#479
Fixes cplusplus/CWG#486

Also fixes cplusplus/papers#1582
Also fixes cplusplus/papers#1694

Also fixes #3936
Also fixes #5355
Also fixes #5335
Also fixes #5336

Notes:

  • CWG2661: the grammar rule for /member-declarator/ in the resolution doesn't match what's now in the paper; applied anyway.
  • CWG2628: adds wording already added. (comment by jmaurer: this issue was not in the incoming paper)
  • CWG2714: non-existant grammarterm "trailing-requires-clause" changed to "trailing \grammarterm{requires-clause}".

@burblebee burblebee marked this pull request as draft March 27, 2024 09:14
@burblebee burblebee marked this pull request as ready for review March 27, 2024 13:20
@jensmaurer jensmaurer added this to the post-2024-03 milestone Mar 28, 2024
jensmaurer
jensmaurer requested changes Apr 4, 2024
View reviewed changes
source/expressions.tex Outdated Show resolved Hide resolved
@tkoeppe tkoeppe requested a review from jensmaurer April 15, 2024 00:10
@burblebee @tkoeppe
CWG453 References may only bind to “valid” objects
47469c0
@burblebee @tkoeppe
CWG1954 typeid null dereference check in subexpressions
6bd8d0a
@burblebee @tkoeppe
CWG2476 placeholder-type-specifiers and function declarators
939d5a5
@burblebee @tkoeppe
CWG2533 Storage duration of implicitly created objects
44a6d81
@burblebee @tkoeppe
CWG2546 Defaulted secondary comparison operators defined as deleted
eef4c2b
@burblebee @tkoeppe
CWG2547 Defaulted comparison operator function for non-classes
5cd87e2
@burblebee @tkoeppe
CWG2560 Parameter type determination in a requirement-parameter-list
bc3b802
@burblebee @tkoeppe
CWG2568 Access checking during synthesis of defaulted comparison oper…
5227675 
…ator
@burblebee @tkoeppe
CWG2634 Avoid circularity in specification of scope for friend class …
90558db 
…declarations
@burblebee @tkoeppe
CWG2637 Injected-class-name as a simple-template-id
b391810
@burblebee @tkoeppe
CWG2638 Improve the example for initializing by initializer list
54e3829
@burblebee @tkoeppe
CWG2657 Cv-qualification adjustment when binding reference to temporary
f0eb8e8
@burblebee @tkoeppe
CWG2661 Missing disambiguation rule for pure-specifier vs. brace-or-e…
2dc0d72 
…qual-initializer
@burblebee @tkoeppe
CWG2668 co_await in a lambda-expression
6a2476a
@burblebee @tkoeppe
CWG2689 Are cv-qualified std::nullptr_t fundamental types?
c720e60
@burblebee @tkoeppe
CWG2700 #error disallows existing implementation practice
2e4a603
@burblebee @tkoeppe
CWG2707 Deduction guides cannot have a trailing requires-clause
5c86660
@burblebee @tkoeppe
CWG2714 Implicit deduction guides omit properties from the parameter-…
5d64fb7 
…declaration-clause of a constructor

Editorial notes:
* [over.match.class.deduct] Non-existent "trailing-requires-clause"
  changed to "trailing \grammarterm{requires-clause}".
* Builds on wording from CWG2628 added in bd18226.
@burblebee @tkoeppe
CWG2745 Dependent odr-use in generic lambdas
4655655
@burblebee @tkoeppe
CWG2746 Checking of default template arguments
1a2c390
@burblebee @tkoeppe
CWG2748 Accessing static data members via null pointer
5bd604c
@burblebee @tkoeppe
CWG2771 Transformation for unqualified-ids in address operator
14a05c9
@burblebee @tkoeppe
CWG2775 Unclear argument type for copy of exception object
c37fc84
@burblebee @tkoeppe
CWG2810 Requiring the absence of diagnostics for templates
76fcfea
@burblebee @tkoeppe
CWG2811 Clarify "use" of main
36961e8
@burblebee @tkoeppe
CWG2813 Class member access with prvalues
03408d1
@burblebee @tkoeppe
CWG2820 Value-initialization and default constructors
c6000ad
@burblebee @tkoeppe
CWG2822 Side-effect-free pointer zap
f6228d3
@burblebee @tkoeppe
CWG2824 Copy-initialization of arrays
6a36364
@burblebee @tkoeppe
CWG2825 Range-based for statement using a braced-init-list
3bf7dac
@burblebee @tkoeppe
CWG2828 Ambiguous interpretation of C-style cast
0e026f5
@burblebee @tkoeppe
CWG2830 Top-level cv-qualification should be ignored for list-initial…
b37a8ce 
…ization
@burblebee @tkoeppe
CWG2831 Non-templated function definitions and requires-clauses
5b089c3
@burblebee @tkoeppe
CWG2845 Make the closure type of a captureless lambda a structural type
0149909
@burblebee @tkoeppe
CWG2846 Out-of-class definitions of explicit object member functions
a41b34e
@burblebee @tkoeppe
CWG2848 Omitting an empty template argument list for explicit instant…
69c86fa 
…iation
@burblebee @tkoeppe
CWG2849 Parameter objects are not temporary objects
aef74c9
@burblebee @tkoeppe
CWG2850 Unclear storage duration for function parameter objects
f8b0b5f
@burblebee @tkoeppe
CWG2851 Allow floating-point conversions in converted constant expres…
8811f8a 
…sions
@burblebee @tkoeppe
CWG2853 Pointer arithmetic with pointer to hypothetical element
e611b75
@burblebee @tkoeppe
CWG2854 Storage duration of exception objects
10bddc9
@burblebee @tkoeppe
CWG2855 Undefined behavior in postfix increment
c95348a
@burblebee @tkoeppe
CWG2856 Copy-list-initialization with explicit default constructors
6b3f68b
@burblebee @tkoeppe
CWG2857 Argument-dependent lookup with incomplete class types
d0bd27d
@tkoeppe tkoeppe merged commit 53a0238 into main Apr 15, 2024
4 checks passed
@frederick-vs-ja frederick-vs-ja mentioned this pull request Apr 17, 2024
Closed
This was referenced Apr 28, 2024
Closed
Open
Closed
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tkoeppe tkoeppe tkoeppe left review comments

@jensmaurer jensmaurer jensmaurer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
post-2024-03
Development

Successfully merging this pull request may close these issues.

CWG2634 [dcl.type.elab] p3 The nominated E is not clear in the rule such that implementations have a divergence CWG2820 [dcl.init.general] Zero-initialization VS default constructors [expr.const.cast] Use "shall" to impose the requirement CWG2828 [class.compare.default] p1 The condition of implicitly defining a defaulted comparison operator function CWG2546 [class.compare.secondary] The extent to which "The defaulted operator function is not considered" applies CWG2546
CWG2476 [dcl.spec.auto.general] p2 Is the type of "auto(*)(int)->auto" a generic parameter type placeholder CWG2476 [dcl.spec.auto.general] p3 "function declarator" in the rule has a ambiguous meaning CWG2661 [class.mem] missing disambiguation rule for pure-specifier vs brace-or-equal-initializer CWG2657 [dcl.init.ref] cv-qualification adjustment when binding reference to temporary CWG2689 [basic.fundamental] Clarifying that std::nullptr_t is a fundamental type even though it is defined in header cstddef by changing the non-normative note to a clause
3 participants
@burblebee @tkoeppe @jensmaurer