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

Eli Friedman via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jul 31 10:46:59 PDT 2019


efriedma added a comment.

> this looks like it could be a Core Issue

I think the issue is clang-specific. clang splits the standard notion of a dependent type into two separate bits, for the sake of diagnostics: `isDependentType()`, and `isInstantiationDependentType()`.  `isInstantiationDependentType()` reflects the actual standard definition of a dependent type; `isDependentType()` is a type that can actually vary across instantiations.


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

https://reviews.llvm.org/D65050





More information about the cfe-commits mailing list