Created on 2014-01-16.00:00:00, last changed 2014-01-16.00:00:00.
92 Should exception-specifications be part of the type system? -> (SUPERSEDED) Instruct Core to close 92 as NAD. Maurer points out that he's going to be dealing with the area with TM. The rationale for closing is that EWG doesn't agree that being able to overload on noexcept is worth the trouble, nor does EWG think being able to have pointers-to-functions being different parameter types if they have different noexcept-specifications. -> New paper and a new EWG issue, 169.
794 Base-derived conversion in member type of pointer-to-member conversion -> Open an EWG issue for 794, 94. Snyder reports he is interested in authoring a paper.
914 Value-initialization of array types -> Open an EWG issue for 914 and 1300, 96. Instruct Core to close either (probably 914)as a DUP. Instruct Core not to think EWG has looked at 1300, because EWG hasn't. Include 1326 in the EWG issue, leave that open in Core as well.
1048 auto deduction and lambda return type deduction. -> Instruct Core to reopen 1048 and clarify the issue, since there is implementation divergence. Ask Merrill whether he has implemented what he thought was right. clang seems to be consistent. decltype(f()) is const A in gcc, decltype(b()) is A in gcc. in clang, both are const A.
1077 Explicit specializations in non-containing namespaces -> EWG has an issue for 1077. Link to the core issue from that (done), and vice versa if CWG chair so chooses.
1300 T() for array types -> Open an EWG issue for 914 and 1300, 96. Instruct Core to close either (probably 914)as a DUP. Instruct Core not to think EWG has looked at 1300, because EWG hasn't. Include 1326 in the EWG issue, leave that open in Core as well.
1331 const mismatch with defaulted copy constructor -> Open an EWG issue for 1331, 101. Needs analysis and implementation vendor feedback.
1426 Allowing additional parameter types in defaulted functions -> new EWG issue, 103.
1433 trailing-return-type and point of declaration -> new EWG issue, 104.
1451 Objects with no linkage in non-type template arguments -> new EWG issue, 105.
1555 Language linkage and function type compatibility -> Instruct SG12 to handle 1555. (done, SG12 chair has been notified)
1577 Unnecessary restrictions on partial specializations -> new EWG issue, 110. -> issue is NAD, suggest CWG closes as NAD as well.
1582 Template default arguments and deduction failure -> new EWG issue, 111. -> EWG wishes to send this back to CWG for drafting Spicer's suggestion.
1643 Default arguments for template parameter packs -> Link 1643 to EWG issue 15 (done) and vice versa.
Straw poll, Rapperswil 2014:
To make it consistent by allowing "const float f = 2.0" to allow use of f in constexpr evaluation:
SF 4 - WF 12 - N 1 - WA 0 - SA 0
-> instruct CWG to reopen and resolve so that const floating point is allowed in constant expressions.