This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 116a. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-12-19

2785. Type-dependence of requires-expression

Section: 13.8.3.3  [temp.dep.expr]     Status: DRWP     Submitter: CWG     Date: 2023-07-17

[Accepted as a DR at the November, 2023 meeting.]

(Split off from issue 2774.)

Subclause 13.8.3.3 [temp.dep.expr] is lacking specifiation about the type-dependence of requires-expressions.

Proposed resolution (approved by CWG 2023-08-25):

Change in 13.8.3.3 [temp.dep.expr] paragraph 4 as follows:

Expressions of the following forms are never type-dependent (because the type of the expression cannot be dependent): 
  ...
  noexcept ( expression )
  requires-expression