Created on 2012-02-08.00:00:00 last changed 90 months ago
[Moved to DR at the April, 2013 meeting.]
Proposed resolution (October, 2012):
Change 13.10.3 [temp.deduct] paragraph 8 as follows:
If a substitution results in an invalid type or expression, type deduction fails. An invalid type or expression is one that would be ill-formed if written using the substituted arguments. [Note: Access checking is done as part of the substitution process. —end note] Only invalid types and expressions...
The relationship between errors that render a program ill-formed but for which no diagnostic is required and things that cause deduction failure is not clearly specified. Presumably failures that need not be diagnosed cannot be the basis for SFINAE, lest different implementations perform deduction differently depending on how thoroughly they handle such cases. This should be spelled out explicitly.
|2014-03-03 00:00:00||admin||set||status: drwp -> cd3|
|2013-10-14 00:00:00||admin||set||status: dr -> drwp|
|2013-05-03 00:00:00||admin||set||messages: + msg4432|
|2013-05-03 00:00:00||admin||set||status: tentatively ready -> dr|
|2012-11-03 00:00:00||admin||set||messages: + msg4081|
|2012-11-03 00:00:00||admin||set||status: open -> tentatively ready|