C++ Concepts Issues List (Revision 5)

Index by Status and Section

Reference ISO/IEC IS 14882:2011(E)

This document is the Index by Status and Section for the Concepts Active Issues List, Concepts Completed Issues List, and Concepts Closed Issues List.

Revised 2017-06-16 at 16:06:02 UTC

New (5 issues)

Issue Status Section Title Wording available Duplicates Last modified
36 New 14 [temp] Constraints on complete specializations No 2017-06-16
33 New 14.2 [temp.intro] Undefined behavior of partial-concept-ids in template-introductions No 2017-06-12
34 New 14.6.4 [temp.friend] Premature substitution into associated constraints No 2017-06-12
35 New 14.10.1 [temp.constr.constr] Handwaving around instantiation of constraining elements No 2017-06-12
37 New 14.10.1.1 [temp.constr.pred] Redundant bool requirement on predicate constraints No 2017-06-16

Open (16 issues)

Issue Status Section Title Wording available Duplicates Last modified
31 Open 7.1.6.4.2 [dcl.spec.auto.constr] Constrained-type-specifiers introduce non-type placeholders No 2017-06-12
15 Open 7.1.7 [dcl.spec.concept] Partial specialization of non-concept variable template as a concept definition No 2017-06-12
16 Open 7.1.7 [dcl.spec.concept] Concept and non-concept declarations of the same variable template No 2017-06-12
18 Open 7.1.7 [dcl.spec.concept] Predicate constraints that are not constant expressions No 2017-06-12
22 Open 7.1.7 [dcl.spec.concept] Initializers are never constraint-expressions No 2017-06-12
27 Open 7.1.7 [dcl.spec.concept] Redundant restriction on function specifiers for concepts Yes 2017-06-12
21 Open 8.3.5 [dcl.fct] Disambiguation rules for requires-clauses No 2017-06-12
19 Open 8.4.1 [dcl.fct.def.general] Wording makes all constrained function definitions ill-formed No 2017-06-12
1 Open 14.10.1.1 [temp.constr.conv] Relationship of implicit conversion constraints to is_convertible No 2017-06-12
11 Open 14.10.2 [temp.constr.decl] Concerns about subsumption and equivalence rules No 2017-06-12
23 Open 14.10.2 [temp.constr.decl] Associated constraints is a term defined for templates only No 2017-06-12
30 Open 14.10.2 [temp.constr.decl] Normalization wording guarantees worst case performance for subsumption No 2017-06-12
28 Open 14.10.3 [temp.constr.order] Ordering of constraints involving fold expressions Yes 2017-06-16
17 Open 14.10.3 [temp.constr.order] Wording for subsumption No 2017-06-12
24 Open 14.10.3 [temp.constr.order] Expression equivalence outside of declaration matching is novel No 2017-06-12
25 Open 14.10.3 [temp.constr.order] Block scope template declarations No 2017-06-12

WP (3 issues)

Issue Status Section Title Wording available Duplicates Last modified
3 WP 5.1.4 [expr.prim.req] Allow requires-expressions in more contexts Yes 2017-06-16
29 WP 14.10.2 [temp.constr.decl] Allow concepts to be evaluated in any context Yes 2017-06-16
26 WP 14.10.3 [temp.constr.order] Function concepts not allowed to be declared in more than one TU Yes 2017-06-16

NAD (6 issues)

Issue Status Section Title Wording available Duplicates Last modified
4 NAD 5.1.4.3 [expr.prim.req.compound] Exception constraints Yes 2017-06-12
5 NAD 5.1.4.3 [expr.prim.req.compound] Extending exception constraints Yes 2017-06-12
9 NAD 7.1.6.4.2 [dcl.spec.auto.constr] Concern about terse notation Yes 2017-06-12
2 NAD 7.1.7 [dcl.spec.concept] Allow concepts as class members Yes 2017-06-12
12 NAD 14.10.1.1 [temp.constr.conv] Add same-type constraints for expressions Yes 2017-06-12
10 NAD 14.10.2 [temp.constr.decl] Redundant expressions of constraints Yes 2017-06-12

Dup (1 issues)

Issue Status Section Title Wording available Duplicates Last modified
32 Dup 12.1 [class.ctor] Constrained constructors not allowed Yes 2017-06-12

EWG (6 issues)

Issue Status Section Title Wording available Duplicates Last modified
13 EWG 5.1.4 [expr.prim.req] Adjustment of parameter types in requires-expressions Yes 2017-06-12
6 EWG 7.1.7 [dcl.spec.concept] Simplify concept definitions No 2017-06-12
7 EWG 7.1.7 [dcl.spec.concept] Remove function concepts No 2017-06-12
8 EWG 7.1.7 [dcl.spec.concept] Implicit bool for concepts No 2017-06-12
20 EWG 7.1.7 [dcl.spec.concept] Concept-names and overload sets with non-concept functions No 2017-06-12
14 EWG 14.4.3 [temp.arg.template] Concept checks on template template parameters are too restrictive Yes 2017-06-12