------=_Part_1292_7458619.1394077159725
Content-Type: text/plain; charset=UTF-8

The library fundamentals TR defines two new type trait template classes:
invocation_type and raw_invocation_type.  But it does not define the
corresponding template aliases.  Note that both of these classes define a
member typedef type and no other public members, so according to the
argument in N3887 the template aliases should be defined.

Proposed Resolution:

Add the following to section 3.3.2 of the Library Fundamentals
specification:

template <class X> using invocation_type_t = typename
invocation_type<X>::type;

template<class X> using raw_invocation_type_t = typename
raw_invocation_type<X>::type;

Joe Gottman

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_1292_7458619.1394077159725
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">The library fundamentals TR defines two new type trait tem=
plate classes: invocation_type and raw_invocation_type.&nbsp; But it does n=
ot define the corresponding template aliases.&nbsp; Note that both of these=
 classes define a member typedef type and no other public members, so accor=
ding to the argument in N3887 the template aliases should be defined.<br><b=
r>Proposed Resolution:<br><br>Add the following to section<code> 3.3.2 of t=
he Library Fundamentals specification:<br><br>template &lt;class X&gt; usin=
g invocation_type_t =3D typename invocation_type&lt;X&gt;::type;<br><br>tem=
plate&lt;class X&gt; using raw_invocation_type_t =3D typename raw_invocatio=
n_type&lt;X&gt;::type;<br><br>Joe Gottman<br></code></div>

<p></p>

-- <br />
<br />
--- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_1292_7458619.1394077159725--

.