[PATCH] D119544: Deferred Concept Instantiation Implementation

Mon Apr 25 02:59:16 PDT 2022

ChuanqiXu added inline comments.

================
Comment at: clang/test/SemaTemplate/concepts.cpp:391
+
+  CausesFriendConstraint<int> CFC;
+  FriendFunc(CFC, 1);
----------------
erichkeane wrote:
> 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'".
I've spent some time to look into this. I don't find the root cause now. But I find that it is related to the wrong lookups. The error is emitted in CheckQualifiedMemberReference. And it looks like we lookup for the original S instead of the instantiated S. And the compiler thinks the 2 structs are different. So here is the error. Do you have any other ideas?

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

https://reviews.llvm.org/D119544