Issue 2785 - WG21 CWG Issues
Title
Type-dependence of requires-expression
Status
ready
Section
13.8.3.3 [temp.dep.expr]
Submitter
CWG

Created on 2023-07-17.00:00:00 last changed 5 days ago

Messages

msg7409 (view)
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
msg7408 (view)
Date: 2023-07-17.00:00:00

(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
2023-09-15 21:51:11adminsetstatus: tentatively ready -> ready
2023-08-26 21:53:10adminsetmessages: + msg7409
2023-07-17 00:00:00admincreate