[clang] [clang] visit constraint of NTTP (PR #91842)

Younan Zhang via cfe-commits cfe-commits at lists.llvm.org
Thu May 16 08:54:05 PDT 2024


zyn0217 wrote:

> So, I think the correct fix is to propagate dependence in ASTContext::getUnconstrainedType. I have a branch that implements this here. WDYT @erichkeane @cor3ntin @zyn0217

That looks similar to the approach which I investigated some time ago. The difference is that I removed the constraint check in getUnconstrainedType but yours is to propagate the dependency — i think that  looks more reasonable than mine that way.

https://github.com/llvm/llvm-project/pull/91842


More information about the cfe-commits mailing list