Travis Vitek wrote:
Martin Sebor wrote:
Travis Vitek wrote:
Eric Lemings wrote:
Page 490, section 20.3.1.2, paragraph 1 in the latest draft
says this:
"Let Ui be decay<Ti>::type for each Ti in Types. Then each
Vi in Vtypes is X& if Ui equals reference_wrapper<X>,
otherwise Vi is Ui."
What do you suppose the relationship is between type `X'
and types `Ti' and `Ui'? I see how the latter two types
are deduced from the type list `Types' but not so sure
about how type `X' is deduced from `Types'.
I'm looking at this and I have no idea where VTypes and X are coming
from. Is that an issue, or am I missing something?
Have you found an issue for any of this? (If not, we/I will
need to open one.)
I don't see one. Unless Brad knows something that we don't, I think it
should be brought up.
Okay. Can one of you guys please summarize the problem along with
a proposed resolution and send it to the c++std-lib list for review?
I'll be happy to help you incorporate any feedback we get and, if
necessary, put together an issue.
Thanks
Martin
