Title
Defining “immediate context”
Status
open
Section
13.10.3 [temp.deduct]
Submitter
Richard Smith

Created on 2014-01-28.00:00:00 last changed 3 months ago

Messages

Date: 2024-06-29.11:27:33

CWG 2024-06-28

See also issue 2296.

Date: 2016-02-15.00:00:00

Notes from the February, 2016 meeting:

See also issue 1554; the resolution of this issue should also deal with alias templates.

Date: 2014-01-28.00:00:00

The handling of an example like

  template<typename T, std::size_t S = sizeof(T)> struct X {};
  template<typename T> X<T> foo(T*);
  void foo(...);

  void test() { struct S *s; foo(s); }

varies among implementations, presumably because the meaning of “immediate context” in determining whether an error is a substitution failure or a hard error is not clearly defined.

History
Date User Action Args
2024-06-29 11:27:33adminsetmessages: + msg7767
2022-02-18 07:47:23adminsetstatus: drafting -> open
2017-02-06 00:00:00adminsetmessages: + msg5760
2014-01-28 00:00:00admincreate