Re: C++ PATCH for c++/78358 (decltype and decomposition)

[Jason Merrill <jason at redhat dot com>]

On Tue, Nov 15, 2016 at 11:31 AM, Jason Merrill <jason@redhat.com> wrote:
> OK, (hopefully) one more patch for decltype and C++17 decomposition
> declarations.  I hadn't been thinking that "referenced type" meant to
> look through references in the tuple case, since other parts of
> [dcl.decomp] define "the referenced type" directly, but that does seem
> to be how it's used elsewhere in the standard.

Nope, that wasn't right, either.  The tuple section of [dcl.decomp]
also defines "the referenced type" in a way that makes it impossible
to determine from the actual type of the variable, so we need to store
it somewhere.

Tested x86_64-pc-linux-gnu, applying to trunk.

Attachment: decomp-type.diff
Description: Text document