Title
Type-dependence of requires-expression
Status
drwp
Section
13.8.3.3 [temp.dep.expr]
Submitter
CWG

Created on 2023-07-17.00:00:00 last changed 3 weeks ago

Messages

Date: 2023-08-26.21:53:10

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
Date: 2023-11-15.00:00:00

[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.

History
Date User Action Args
2024-04-05 21:43:46adminsetstatus: dr -> drwp
2023-12-19 10:15:28adminsetstatus: ready -> dr
2023-09-15 21:51:11adminsetstatus: tentatively ready -> ready
2023-08-26 21:53:10adminsetmessages: + msg7409
2023-07-17 00:00:00admincreate