[PATCH] D65050: [SemaTemplate] Mark a function type as dependent when its parameter list contains pack expansion

Aaron Ballman via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 30 05:04:46 PDT 2019


aaron.ballman added a comment.

In D65050#1598057 <https://reviews.llvm.org/D65050#1598057>, @cpplearner wrote:

> In D65050#1596514 <https://reviews.llvm.org/D65050#1596514>, @efriedma wrote:
>
> > Is this the only place where a compound type can contain a PackExpansionType?
>
>
> Yes AFAIK. No other place can contain a list or a pack expansion. The closest thing is dynamic exception specification (which isn't part of the type), and it seems to be handled properly.


The noexcept specifier is part of the type these days, is that also handled properly?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D65050/new/

https://reviews.llvm.org/D65050





More information about the cfe-commits mailing list