[PATCH] D119544: Deferred Concept Instantiation Implementation

Erich Keane via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 21 10:18:54 PDT 2022

erichkeane planned changes to this revision.
erichkeane added inline comments.

Comment at: clang/lib/Sema/SemaTemplateInstantiate.cpp:2329
+  // constraint, so we should just create a copy of the previous one.
+  // TODO: ERICH: Should this be RebuildExprInCurrentInstantiation here?
+  if (!IsEvaluatingAConstraint()) {
I'm still not sure if anything should be rebuilt here, I suspect the answer is MAYBE on the named-concept, but it isn't clear to me.

Comment at: clang/test/SemaTemplate/concepts.cpp:391
+  CausesFriendConstraint<int> CFC;
+  FriendFunc(CFC, 1);
erichkeane wrote:
> A bunch of the tests below this all fail.
See these two tests, which fail by saying that "::local is not a member of class 'X'".



More information about the cfe-commits mailing list